Conference paper

VOJNAR Tomáš. Towards Using State Spaces of Object-Oriented Petri Nets. In: Proceedings of 33rd Spring International Conference on Modelling and Simulation of Systems MOSIS'99. Rožnov pod Radhoštěm, 1999, pp. 141-148. ISBN 80-85988-32-1.
Publication language:english
Original title:Towards Using State Spaces of Object-Oriented Petri Nets
Pages:141-148
Proceedings:Proceedings of 33rd Spring International Conference on Modelling and Simulation of Systems MOSIS'99
Place:Rožnov pod Radhoštěm, CZ
Year:1999
ISBN:80-85988-32-1
Keywords
object-oriented Petri nets - formal analysis and verification - state spaces
Annotation
The article discusses the notion of state spaces of object-oriented Petri nets associated to the tool called PNtalk and the role of identifiers of dynamically appearing and disappearing instances within these state spaces.
Abstract
The article discusses the notion of state spaces of object-oriented Petri nets 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 object-oriented Petri nets are briefly mentioned, as well.
BibTeX:
@INPROCEEDINGS{
   author = {Tom{\'{a}}{\v{s}} Vojnar},
   title = {Towards Using State Spaces of Object-Oriented Petri Nets},
   pages = {141--148},
   booktitle = {Proceedings of 33rd Spring International Conference on
	Modelling and Simulation of Systems MOSIS'99},
   year = {1999},
   location = {Ro{\v{z}}nov pod Radho{\v{s}}t{\v{e}}m, CZ},
   ISBN = {80-85988-32-1},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6562}
}

Your IPv4 address: 54.92.201.232
Switch to IPv6 connection

DNSSEC [dnssec]