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