The Stubborn Set Method in Practice

Reference:

Kimmo Varpaaniemi and Marko Rauhamaa. The stubborn set method in practice. In Kurt Jensen, editor, Application and Theory of Petri Nets 1992: 13th International Conference, Sheffield, UK, June 22–26, 1992, Proceedings, volume 616 of Lecture Notes in Computer Science, pages 389–393. Springer-Verlag, Berlin, Germany, 1992. © Springer-Verlag Berlin Heidelberg 1992.

Abstract:

A project for studying the stubborn set method in practice is described. The stubborn set method has been implemented in PROD, a reachability analysis tool for PrT-nets, and will be studied in practical cases using PROD.

Keywords:

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

Suggested BibTeX entry:

@inproceedings{VarpaaniemiKimmo-VrpRa92,
    author = {Kimmo Varpaaniemi and Marko Rauhamaa},
    booktitle = {{A}pplication and Theory of {P}etri Nets 1992: 13th International Conference, {S}heffield, {U}{K}, {J}une 22--26, 1992, Proceedings},
    editor = {Kurt Jensen},
    note = {© Springer-Verlag Berlin Heidelberg 1992},
    pages = {389--393},
    publisher = {Springer-Verlag, Berlin, Germany},
    series = {Lecture Notes in Computer Science},
    title = {{T}he Stubborn Set Method in Practice},
    volume = {616},
    year = {1992},
}