Toggle Main Menu Toggle Search

Open Access padlockePrints

Merged processes - A new condensed representation of Petri net behaviour

Lookup NU author(s): Dr Victor Khomenko, Professor Maciej Koutny

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

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. © Springer-Verlag Berlin Heidelberg 2005.


Publication metadata

Author(s): Khomenko V, Kondratyev A, Koutny M, Vogler W

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Concurrency Theory: 16th International Conference (CONCUR)

Year of Conference: 2005

Pages: 338-352

ISSN: 0302-9743 (Print) 1611-3349 (Online)

Publisher: Springer

URL: http://dx.doi.org/10.1007/11539452_27

DOI: 10.1007/11539452_27

Notes: book doi: 10.1007/11539452

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540283096


Actions

Find at Newcastle University icon    Link to this publication


Share