@misc{
    mcsmodels1.4,
    author = "Heljanko, Keijo and Simons, Patrik",
    juforank = "NA",
    title = "mcsmodels 1.4: a deadlock and reachability checker using net unfoldings",
    url = "http://www.tcs.hut.fi/%7Ekepa/tools/mcsmodels/",
    note = "Software",
    keywords = "{Petri} nets, deadlocks, reachability, logic programs, finite complete prefixes",
    flags = "SOFTWARE SA-IN-98-01",
    year = "1999",
    howpublished = "Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland"
}