Toggle Main Menu Toggle Search

Open Access padlockePrints

Designing an asynchronous processor using petri nets

Lookup NU author(s): Dr Albert Koelmans, Professor Alex Yakovlev



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.

Publication metadata

Author(s): Semenov A, Koelmans AM, Lloyd L, Yakovlev A

Publication type: Article

Publication status: Published

Journal: IEEE Micro

Year: 1997

Volume: 17

Issue: 2

Pages: 54-63

Print publication date: 01/03/1997

Date deposited: 13/09/2010

ISSN (print): 02721732

ISSN (electronic): 1937-4143

Publisher: IEEE Computer Society


DOI: 10.1109/40.592316


Altmetrics provided by Altmetric