Abstract
The article discusses the notion of state spaces of object-oriented Petri nets (OOPNs) associated to the tool called PNtalk and the role of identifiers of dynamically appearing and disappearing instances within these state spaces. Methods of working with identifiers based on sophisticated naming rules and mechanisms for abstracting names are described and compared. Some optimizations of state space generating algorithms for the context of OOPNs are mentioned, as well. Finally, some possibilities of specifying properties of systems to be checked over the state spaces of their OOPN-based models are discussed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Češka, M., Janoušek, V., Vojnar, T.: PNtalk — A Computerized Tool for Object-Oriented Petri Nets Modelling. In: Moreno-Díaz, R., Pichler, F. (eds.) EUROCAST 1997. LNCS, vol. 1333, pp. 591–610. Springer, Heidelberg (1997)
Janoušek, V.: Modelling Objects by Petri Nets. PhD thesis, Department of Computer Science and Engineering, Technical University of Brno, Czech Re- public (1998) (in Czech)
Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical use. Analysis Methods. EATCS Monographs on Theoretical Computer Science, vol. 2. Springer, Hidleberg (1994)
Peled, D.: Combining Partial Order Reductions with On-the-fly Model-Checking. Journal of Formal Mehtods in Systems Design 8(1), 39–64 (1996); Also appeared In: Dill, D.L. (ed.): CAV 1994. LNCS, vol. 818, pp. 377–390. Springer, Heidelberg (1994)
Sibertin-Blanc, C.: Cooperative Nets. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol. 815, pp. 471–490. Springer, Heidelberg (1994)
Valmari, A.: The State Explosion Problem. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 429–528. Springer, Heidelberg (1998)
Vojnar, T.: State Spaces of Object-Oriented Petri Nets. PhD thesis, Department of Computer Science and Engineering, Brno University of Technology, Czech Republic (2000) (to be Published in)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Češka, M., Janoušek, V., Vojnar, T. (2000). Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. In: Kopacek, P., Moreno-Díaz, R., Pichler, F. (eds) Computer Aided Systems Theory - EUROCAST’99. EUROCAST 1999. Lecture Notes in Computer Science, vol 1798. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10720123_9
Download citation
DOI: https://doi.org/10.1007/10720123_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67822-9
Online ISBN: 978-3-540-44931-7
eBook Packages: Springer Book Archive