Browse by author
Lookup NU author(s): Professor Alex Yakovlev
This paper presents a novel method to derive a Petri Net from any specification model that can be mapped into a state-based representation with arcs labeled with symbols from an alphabet of events (a Transition System, TS). The method is based on the theory of regions for Elementary Transition Systems (ETS). Previous work has shown that, for any ETS, there exists a Petri Net with minimum transition count (one transition for each label) with a reachability graph isomorphic to the original Transition System. Our method extends and implements that theory by using the following three mechanisms that provide a framework for synthesis of safe Petri Nets from arbitrary TSs. First, the requirement of isomorphism is relaxed to bisimulation of TSs, thus extending the class of synthesizable TSs to a new class called Excitation-Closed Transition Systems (ECTS). Second, for the first time, we propose a method of PN synthesis for an arbitrary TS based on mapping a TS event into a set of transition labels in a PN. Third, the notion of irredundant region set is exploited, to minimize the number of places in the net without affecting its behavior. The synthesis method can derive different classes of place-irredundant Petri Nets (e.g., pure, free choice, unique choice) from the same TS, depending on the constraints imposed on the synthesis algorithm. This method has been implemented and applied in different frameworks. The results obtained from the experiments have demonstrated the wide applicability of the method. © 1998 IEEE.
Author(s): Cortadella J, Kishinevsky M, Lavagno L, Yakovlev A
Publication type: Article
Publication status: Published
Journal: IEEE Transactions on Computers
Year: 1998
Volume: 47
Issue: 8
Pages: 859-882
Print publication date: 01/01/1998
Date deposited: 13/09/2010
ISSN (print): 0018-9340
ISSN (electronic): 1557-9956
Publisher: IEEE Computer Society
URL: http://dx.doi.org/10.1109/12.707587
DOI: 10.1109/12.707587
Altmetrics provided by Altmetric
