Conference paper

ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Generating and Exploiting State Spaces of Object-Oriented Petri Nets. In: Proceedings of Workshop on Software Engineering and Petri Nets, 21st International Conference on Application and Theory of Petri Nets 2000. Aarhus: unknown, 2000, pp. 35-54. ISSN 0105-8517.
Publication language:english
Original title:Generating and Exploiting State Spaces of Object-Oriented Petri Nets
Pages:35-54
Proceedings:Proceedings of Workshop on Software Engineering and Petri Nets, 21st International Conference on Application and Theory of Petri Nets 2000
Place:Aarhus, DK
Year:2000
ISSN:0105-8517
Keywords
Petri nets, object-orientation, formal analysis and verification
Annotation
The article describes two of the problems arising in the area of generating and exploiting state spaces of the object-oriented Petri nets (OOPNs) associated to the tool called PNtalk. Firstly, the influence of identifiers of dynamically appearing and disappearing instances upon the state space explosion problem is explained. Methods of working with identifiers based on sophisticated naming rules and mechanisms for abstracting names are described and compared. Subsequently, there are discussed several attitudes to specifying properties of systems to be validated by means of state spaces of their OOPN-based models.
Abstract
The article describes two of the problems arising in the area of generating and exploiting state spaces of the object-oriented Petri nets (OOPNs) associated to the tool called PNtalk. Firstly, the influence of identifiers of dynamically appearing and disappearing instances upon the state space explosion problem is explained. Methods of working with identifiers based on sophisticated naming rules and mechanisms for abstracting names are described and compared. Subsequently, there are discussed several attitudes to specifying properties of systems to be validated by means of state spaces of their OOPN-based models.
BibTeX:
@INPROCEEDINGS{
   author = {Milan {\v{C}}e{\v{s}}ka and Vladim{\'{i}}r Janou{\v{s}}ek
	and Tom{\'{a}}{\v{s}} Vojnar},
   title = {Generating and Exploiting State Spaces of Object-Oriented
	Petri Nets},
   pages = {35--54},
   booktitle = {Proceedings of Workshop on Software Engineering and Petri
	Nets, 21st International Conference on Application and
	Theory of Petri Nets 2000},
   number = {DAIMI PB},
   year = {2000},
   location = {Aarhus, DK},
   ISSN = {0105-8517},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6568}
}

Your IPv4 address: 54.82.79.109
Switch to IPv6 connection

DNSSEC [dnssec]