For the most recent entries see the Petri Nets Newsletter.

The Subborn Set Method in Practice.

Varpaaniemi, Kimmo; Rauhamaa, Marko

In: Jensen, K.: Lecture Notes in Computer Science, Vol. 616; 13th International Conference on Application and Theory of Petri Nets 1992, Sheffield, UK, pages 389-393. Springer-Verlag, June 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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography