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