Maria: Modular Reachability Analyzer for High-Level Petri Nets

Reference:

Marko Mäkelä. Maria: Modular reachability analyzer for high-level Petri nets. In The 5^th Workshop on Discrete Event Systems (WODES 2000), pages 477–478, Ghent, Belgium, August 2000. Kluwer Academic Publishers, Boston, MA, USA.

Suggested BibTeX entry:

@inproceedings{MakelaMarko-Makela:tp-wodes,
    address = {Ghent, Belgium},
    author = {Marko M{\"a}kel{\"a}},
    booktitle = {The 5\textsuperscript{th} Workshop on Discrete Event Systems (WODES 2000)},
    month = {August},
    pages = {477--478},
    publisher = {Kluwer Academic Publishers, Boston, MA, USA},
    title = {Maria: Modular Reachability Analyzer for High-Level {Petri} Nets},
    year = {2000},
}