Toggle Main Menu Toggle Search

Open Access padlockePrints

Deriving Petri Nets from finite transition systems

Lookup NU author(s): Professor Alex Yakovlev

Downloads


Abstract

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.


Publication metadata

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

Altmetrics provided by Altmetric


Actions

Find at Newcastle University icon    Link to this publication


Share