Maria: Modular Reachability Analyser for High-Level Petri Nets

Reference:

Marko Mäkelä. Maria: Modular reachability analyser for high-level Petri nets. In Kjeld Mortensen, editor, Petri Nets 2000: Tool Demonstrations, pages 59–63, Århus, Denmark, June 2000. University of Århus.

Suggested BibTeX entry:

@inproceedings{MakelaMarko-Makela:tp-pn2k,
    address = {{\AA{}}rhus, Denmark},
    author = {Marko M{\"a}kel{\"a}},
    booktitle = {Petri Nets 2000: Tool Demonstrations},
    editor = {Kjeld Mortensen},
    month = {June},
    pages = {59--63},
    publisher = {University of {\AA{}}rhus},
    title = {Maria: Modular Reachability Analyser for High-Level {Petri} Nets},
    year = {2000},
}