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

English Title

Instruction Pipeline Modeling using Petri Nets

Type

conference paper

Language

en

Original Abstract

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

English 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

RIV year

2010

Released

28.07.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

Edition number

NEUVEDEN

Pages from

163

Pages to

164

Pages count

2

Documents

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"
}