Parallelisation of the Petri Net Unfolding Algorithm

Reference:

Keijo Heljanko, Victor Khomenko, and Maciej Koutny. Parallelisation of the Petri net unfolding algorithm. Technical Report CS-TR-733, Department of Computer Science, University of Newcastle upon Tyne, Newcastle, United Kindom, June 2001.

Abstract:

In this paper, we first present theoretical results, helping to understand the unfolding algorithm presented in [5,6]. We then propose a modification of this algorithm, which can be efficiently parallelised, and prove its correctness. We also present additional optimisations.

Keywords:

model checking, Petri nets, parallel algorithm, unfolding, causality, concurrency

Suggested BibTeX entry:

@techreport{HelKhoKou:PUnf,
    address = {Newcastle, United Kindom},
    author = {Keijo Heljanko and Victor Khomenko and Maciej Koutny},
    institution = {Department of Computer Science, University of Newcastle upon Tyne},
    month = {June},
    number = {CS-TR-733},
    pages = {14},
    title = {Parallelisation of the {Petri} Net Unfolding Algorithm},
    year = {2001},
}

See www.cs.ncl.ac.uk ...