On Combining the Stubborn Set Method with the Sleep Set Method

K. Varpaaniemi

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

    Original languageEnglish
    Title of host publicationThe 15th International Conference on Application and Theory of Petri Nets, Zaragoza, Spain, 19-26.6.1994
    EditorsR. Valette
    Place of PublicationBerlin
    Publication statusPublished - 1994
    MoE publication typeA4 Article in a conference publication


    • deadlock detection
    • place/transition nets
    • reachability analysis
    • sleep set method
    • stubborn set method

    Cite this