mcsmodels 1.4: a deadlock and reachability checker using net unfoldings

Reference:

Keijo Heljanko and Patrik Simons. mcsmodels 1.4: a deadlock and reachability checker using net unfoldings. Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, 1999. Software.

Keywords:

Petri nets, deadlocks, reachability, logic programs, finite complete prefixes

Suggested BibTeX entry:

@misc{mcsmodels1.4,
    author = {Keijo Heljanko and Patrik Simons},
    howpublished = {Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland},
    note = {Software},
    title = {mcsmodels 1.4: a deadlock and reachability checker using net unfoldings},
    year = {1999},
}