@inproceedings{
    Makela:maria,
    editor = "Esparza, Javier and Lakos, Charles",
    author = {M{\"a}kel{\"a}, Marko},
    publisher = "Springer-Verlag, Berlin, Germany",
    title = "Maria: Modular Reachability Analyser for Algebraic System Nets",
    url = "http://link.springer.de/link/service/series/0558/bibs/2360/23600434.htm",
    series = "Lecture Notes in Computer Science",
    booktitle = "Application and Theory of Petri Nets 2002: 23\textsuperscript{rd} International Conference, ICATPN 2002",
    address = "Adelaide, Australia",
    number = "2360",
    abstract = "Maria performs simulation, exhaustive reachability analysis and on-the-fly LTL model checking of high-level Petri nets with fairness constraints. The algebra contains powerful built-in data types and operations. Models can be exported to low-level Petri nets and labelled transition systems. Translator programs allow Maria to analyse transition systems as well as distributed computer programs written in procedural or object-oriented languages, or high-level specifications such as SDL. Maria has been implemented in portable C and C++, and it is freely available under the conditions of the GNU General Public License.",
    month = "June",
    flags = "public",
    year = "2002",
    pdf = "maria.pdf",
    pages = "434--444"
}