Detail publikace

Instruction Pipeline Modeling using Petri Nets

Originální název

Instruction Pipeline Modeling using Petri Nets

Anglický název

Instruction Pipeline Modeling using Petri Nets

Jazyk

en

Originální abstrakt

This paper deals with instruction pipeline modeling using Petri Nets with the goal of finding suitable formalism for their description.

Anglický abstrakt

This paper deals with instruction pipeline modeling using Petri Nets with the goal of finding suitable formalism for their description.

BibTex 


@inproceedings{BUT34421,
  author="Adam {Husár} and Tomáš {Hruška} and Karel {Masařík} and Zdeněk {Přikryl}",
  title="Instruction Pipeline Modeling using Petri Nets",
  annote="This paper deals with instruction pipeline modeling using Petri Nets with the
goal of finding suitable formalism for their description.",
  address="Technical Universityt Hamburg-Harburg",
  booktitle="Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10",
  chapter="34421",
  edition="Proceedings of the International Workshop on Petri Nets and Software",
  howpublished="online",
  institution="Technical Universityt Hamburg-Harburg",
  year="2010",
  month="july",
  pages="163--164",
  publisher="Technical Universityt Hamburg-Harburg",
  type="conference paper"
}