2005 | OriginalPaper | Buchkapitel
Merged Processes — A New Condensed Representation of Petri Net Behaviour
verfasst von : Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler
Erschienen in: CONCUR 2005 – Concurrency Theory
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Model checking based on Petri net unfoldings is an approach widely applied to cope with the state space explosion problem.
In this paper we propose a new condensed representation of a Petri net’s behaviour called
merged processes
, which copes well not only with concurrency, but also with other sources of state space explosion, viz. sequences of choices and non-safeness. Moreover, this representation is sufficiently similar to the traditional unfoldings, so that a large body of results developed for the latter can be re-used. Experimental results indicate that the proposed representation of a Petri net’s behaviour alleviates the state space explosion problem to a significant degree and is suitable for model checking.