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

Downloads


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.


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

URL: http://dx.doi.org/10.1109/40.592316

DOI: 10.1109/40.592316


Altmetrics

Altmetrics provided by Altmetric


Actions

Find at Newcastle University icon    Link to this publication


Share