TCS / Research / Publications / The Stubborn Set Method in Practice
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

The Stubborn Set Method in Practice


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.


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.


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

Suggested BibTeX entry:

    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},

See ...

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.