@techreport{
    HelKhoKou:PUnf,
    author = "Heljanko, Keijo and Khomenko, Victor and Koutny, Maciej",
    title = "Parallelisation of the {Petri} Net Unfolding Algorithm",
    url = "http://www.cs.ncl.ac.uk/research/trs/papers/733.pdf",
    pages = "14",
    year = "2001",
    number = "CS-TR-733",
    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.",
    month = "June",
    juforank = "NA",
    flags = "SA-LO-00-02",
    address = "Newcastle, United Kindom",
    keywords = "model checking, Petri nets, parallel algorithm, unfolding, causality, concurrency",
    institution = "Department of Computer Science, University of Newcastle upon Tyne"
}