DocumentCode
3656217
Title
Object-oriented Petri nets, their simulation, and analysis
Author
M. Ceska;V. Janousek;T. Vojnar
Author_Institution
Dept. of Comput. Sci. & Eng., Tech. Univ. of Brno, Czech Republic
Volume
1
fYear
1998
Firstpage
262
Abstract
The article presents the so-called object-oriented Petri nets (OOPNs) combining advantages of Petri nets and object-orientation. OOPNs are described mostly informally, but the key concepts of their formal definition are also included. Furthermore, the computer-aided tool called PNtalk which supports editing and simulating OOPNs is briefly mentioned, too. Finally, problems accompanying formal analysis of OOPNs, stemming from the high dynamism of models based on them, are discussed.
Keywords
"Petri nets","Object oriented modeling","Analytical models","Computational modeling","Computer simulation","Power system modeling","Testing","Computer science","Parallel processing","Software systems"
Publisher
ieee
Conference_Titel
Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
ISSN
1062-922X
Print_ISBN
0-7803-4778-1
Type
conf
DOI
10.1109/ICSMC.1998.725419
Filename
725419
Link To Document