The Stubborn Set Method in Practice

Kimmo Varpaaniemi, M. Rauhamaa

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

    Original languageEnglish
    Title of host publicationThe 13th International Conference on Application and Theory of Petri Nets, Sheffield, UK, 22.-26.6.1992
    Place of PublicationBerlin
    Pages389-393
    Publication statusPublished - 1992
    MoE publication typeA4 Article in a conference publication

    Keywords

    • Petri nets
    • reachability analysis
    • state space explosion
    • stubborn set method

    Cite this