Skip navigation
Skip navigation

Recent advances in unfolding technique

Bonet, Blai; Haslum, Patrik; Khomenko, Victor; Thiebaux, Sylvie; Vogler, Walter


We propose a new, and to date the most general, framework for Petri net unfolding, which broadens its applicability, makes it easier to use, and increases its efficiency. In particular: (i) we propose a user-oriented view of the unfolding technique, which simply tells which information will be preserved in the final prefix and how to declare an event a cut-off in the algorithm, while hiding the technical parameters like the adequate order; (ii) the notion of the adequate order is generalised to...[Show more]

CollectionsANU Research Publications
Date published: 2014
Type: Journal article
Source: Theoretical Computer Science
DOI: 10.1016/j.tcs.2014.07.003


File Description SizeFormat Image
01_Bonet_Recent_advances_in_unfolding_2014.pdf616.57 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  27 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator