Skip to main content
SpringerLink
Log in

The stubborn set method in practice

  • Project Papers
  • Conference paper
  • First Online:
Application and Theory of Petri Nets 1992 (ICATPN 1992)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 616))

Included in the following conference series:

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.

This article was processed using the LATEX macro package with LLNCS style

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Rauhamaa, M.: A Comparative Study of Methods for Efficient Reachability Analysis. Helsinki University of Technology, Digital Systems Laboratory Report A 14, Espoo 1990, 61 p.

    Google Scholar 

  2. Tuominen, H.: Logic in Petri Net Analysis. Helsinki University of Technology, Digital Systems Laboratory Report A 5, Espoo 1988, 53 p.

    Google Scholar 

  3. Valmari, A.: Error Detection by Reduced Reachability graph generation. Proceedings of the Ninth European Workshop on Application and Theory of Petri Nets, Venice 1988, pp. 95–112.

    Google Scholar 

  4. Valmari, A.: Stubborn Sets for Reduced State Space Generation. Proceedings of the 10th International Conference on Application and Theory of Petri Nets, Vol. 2, Bonn 1989, pp. 1–22.

    Google Scholar 

  5. Valmari, A.: Stubborn Sets of Coloured Petri Nets. Proceedings of the 12th International Conference on Application and Theory of Petri Nets, Gjern, Denmark 1991, pp. 102–121.

    Google Scholar 

  6. Wheeler, G.R, Valmari, A., and Billington, J.: Baby TORAS Eats Philosophers but thinks about Solitaire. Proceedings of the Fifth Australian Software Engineering Conference, 1990, pp. 283–288.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Digital Systems Laboratory, Helsinki University of Technology, SF-02150, Otakaari 1, Finland

    Kimmo Varpaaniemi & Marko Rauhamaa

Authors
  1. Kimmo Varpaaniemi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marko Rauhamaa
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

K. Jensen

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Varpaaniemi, K., Rauhamaa, M. (1992). The stubborn set method in practice. In: Jensen, K. (eds) Application and Theory of Petri Nets 1992. ICATPN 1992. Lecture Notes in Computer Science, vol 616. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55676-1_25

Download citation

  • DOI: https://doi.org/10.1007/3-540-55676-1_25

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55676-3

  • Online ISBN: 978-3-540-47270-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation