Toggle Main Menu Toggle Search

Open Access padlockePrints

Branching Processes of High-Level Petri Nets

Lookup NU author(s): Dr Victor Khomenko


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


In this paper, we define branching processes and unfoldings of high-level Petri nets and propose an algorithm which builds finite and complete prefixes of such unfoldings. The advantage of our method is that it avoids a potentially expensive translation of a high-level Petri net into a low-level one. The approach is conservative as all the verification tools employing the traditional unfoldings can be reused with prefixes derived directly from high-level nets. We show that this is often better than the usual explicit construction of the intermediate low-level net.

Publication metadata

Author(s): Khomenko V, Koutny M

Editor(s): Garavel, H., Hatcliff, J.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS)

Year of Conference: 2003

Pages: 458-472

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

Publisher: Springer-Verlag


DOI: 10.1007/3-540-36577-X_34

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540008989


Link to this publication