Publication detail

Instruction Pipeline Modeling using Petri Nets

HUSÁR, A. HRUŠKA, T. MASAŘÍK, K. PŘIKRYL, Z.

Original Title

Instruction Pipeline Modeling using Petri Nets

Type

article in a collection out of WoS and Scopus

Language

English

Original Abstract

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

Keywords

Petri Nets, ISAC, Lissom, pipeline modeling, instruction pipeline, microarchitecture

Authors

HUSÁR, A.; HRUŠKA, T.; MASAŘÍK, K.; PŘIKRYL, Z.

RIV year

2010

Released

28. 7. 2010

Publisher

Technical Universityt Hamburg-Harburg

Location

Universität Hamburg

ISBN

978-972-8692-55-1

Book

Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10

Edition

Proceedings of the International Workshop on Petri Nets and Software

Pages from

163

Pages to

164

Pages count

2

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",
  booktitle="Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10",
  year="2010",
  series="Proceedings of the International Workshop on Petri Nets and Software",
  pages="163--164",
  publisher="Technical Universityt Hamburg-Harburg",
  address="Universität Hamburg",
  isbn="978-972-8692-55-1"
}