Browse by author
Lookup NU author(s): Dr Marta Koutny, Professor Alex Yakovlev
This paper extends the theory of regions developed by Nielsen, Rozenberg and Thiagarajan within a set-theoretic framework, to accommodate the class of non-pure nets and their transition systems. Those are called semi-elementary nets and semi-elementary transition systems, respectively. The main motivation of such an extension is practical, the need to model asynchronous hardware structures, where certain events happen only when some conditions (these are called co-conditions) are true but without changing the state of these conditions. One of the applications of this theory is synthesis of Petri net models from state-based specifications. As an example we present a Petri net model of control of a counterflow pipeline for Sproull's asynchronous processor. This control was originally specified as a transition system which did not satisfy elementarity axioms of Nielsen et al.
Author(s): Pietkiewicz-Koutny M, Yakovlev A
Publication type: Report
Publication status: Published
Series Title: Department of Computing Science Technical Report Series
Year: 1995
Pages: 15
Print publication date: 01/07/1995
Source Publication Date: July 1995
Report Number: 528
Institution: Department of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/528.pdf
