Modular Reachability Analyser for Algebraic System Nets

Marko Mäkelä

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Original languageEnglish
    Title of host publication23rd International Conference on Application and Theory of Petri Nets, Adelaide, Australia, June 2002
    EditorsJavier Esparza, Charles Lakos
    Pages434-444
    Publication statusPublished - 2002
    MoE publication typeA4 Article in a conference publication

    Keywords

    • exhaustive reachability analysis
    • high-level Petri nets
    • on-the-fly LTL model checking
    • simulation

    Cite this