Journal article

ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. Lecture Notes in Computer Science. 2000, vol. 2000, no. 1798, pp. 90-104. ISSN 0302-9743.
Publication language:english
Original title:Towards Verifying Distributed Systems Using Object-Oriented Petri Nets
Title (cs):Výzkum metod verifikace distribuovaných systémů s použitím objektově orientovaných Petriho sítí
Pages:90-104
Book:Computer Aided Systems Theory
Place:Berlín, DE
Year:2000
Journal:Lecture Notes in Computer Science, Vol. 2000, No. 1798, DE
ISSN:0302-9743
Publisher:Springer Verlag
Keywords
Petri nets, object-orientation, formal analysis and verification
Annotation
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.
BibTeX:
@ARTICLE{
   author = {Milan {\v{C}}e{\v{s}}ka and Vladim{\'{i}}r Janou{\v{s}}ek
	and Tom{\'{a}}{\v{s}} Vojnar},
   title = {Towards Verifying Distributed Systems Using Object-Oriented
	Petri Nets},
   pages = {90--104},
   booktitle = {Computer Aided Systems Theory},
   journal = {Lecture Notes in Computer Science},
   volume = {2000},
   number = {1798},
   year = {2000},
   location = {Berl{\'{i}}n, DE},
   publisher = {Springer Verlag},
   ISSN = {0302-9743},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6567}
}

Your IPv4 address: 54.167.202.184
Switch to IPv6 connection

DNSSEC [dnssec]