• DocumentCode
    1254836
  • Title

    Designing an asynchronous processor using Petri nets

  • Author

    Semenov, Alex ; Koelmans, Albert M. ; Lloyd, Lee ; Yakovlev, Alexandre

  • Author_Institution
    Dept. of Comput. Sci., Newcastle upon Tyne Univ., UK
  • Volume
    17
  • Issue
    2
  • fYear
    1997
  • Firstpage
    54
  • Lastpage
    64
  • Abstract
    Using a simple example, we demonstrate how to design and analyze asynchronous systems from labeled Petri net specifications, later refining, transforming, and translating them for implementations
  • Keywords
    Petri nets; asynchronous circuits; computer architecture; performance evaluation; Petri nets; asynchronous processor; asynchronous systems; labeled Petri net; Asynchronous circuits; Bars; Circuit testing; Fires; Labeling; Petri nets; Process design; Safety; System recovery; Timing;
  • fLanguage
    English
  • Journal_Title
    Micro, IEEE
  • Publisher
    ieee
  • ISSN
    0272-1732
  • Type

    jour

  • DOI
    10.1109/40.592316
  • Filename
    592316
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1254836