@inproceedings{1ca79fdc541e46d1879429cf4f0e559f,
title = "Modular Reachability Analyser for Algebraic System Nets",
keywords = "exhaustive reachability analysis, high-level Petri nets, on-the-fly LTL model checking, simulation, exhaustive reachability analysis, high-level Petri nets, on-the-fly LTL model checking, simulation, exhaustive reachability analysis, high-level Petri nets, on-the-fly LTL model checking, simulation",
author = "Marko M{\"a}kel{\"a}",
year = "2002",
language = "English",
pages = "434--444",
editor = "Javier Esparza and Charles Lakos",
booktitle = "23rd International Conference on Application and Theory of Petri Nets, Adelaide, Australia, June 2002",
publisher = "Springer",
address = "Germany",
}