DESIGNING AN ASYNCHRONOUS PROCESSOR USING PETRI NETS

Authors
SEMENOV A KOELMANS AM LLOYD L YAKOVLEV A
Citation
A. Semenov et al., DESIGNING AN ASYNCHRONOUS PROCESSOR USING PETRI NETS, IEEE MICRO, 17(2), 1997, pp. 54-64
Citations number
15
Categorie Soggetti
Computer Sciences","Computer Science Hardware & Architecture","Computer Science Software Graphycs Programming
Journal title
IEEE MICRO → ACNP
ISSN journal
02721732
Volume
17
Issue
2
Year of publication
1997
Pages
54 - 64
Database
ISI
SICI code
0272-1732(1997)17:2<54:DAAPUP>2.0.ZU;2-E
Abstract
Using a simple example, we demonstrate bow to design and analyze async hronous systems from labeled Petri net specifications, later refining, transforming, and translating them for implementations.