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