Publication Details

Object-Oriented Petri Nets, Their Simulation, and Analysis

ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Object-Oriented Petri Nets, Their Simulation, and Analysis. In: Proceedings of the IEEE SMC'98 Conference. San Diego, California: unknown, 1998, pp. 256-261. ISBN 0-7803-4781-1. ISSN 1062-922X.
Type
conference paper
Language
english
Authors
Češka Milan, Prof. RNDr., CSc. (DCSE FEECS BUT)
Janoušek Vladimír, Ing., Ph.D. (DCSE FEECS BUT)
Vojnar Tomáš, Ing., Ph.D. (DCSE FEECS BUT)
Annotation

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.

Published
1998
Pages
256-261
Proceedings
Proceedings of the IEEE SMC'98 Conference
Number
0
ISBN
0-7803-4781-1
Place
San Diego, California, US
BibTeX 
@INPROCEEDINGS{FITPUB6560,
   author = "Milan \v{C}e\v{s}ka and Vladim\'{i}r Janou\v{s}ek and Tom\'{a}\v{s} Vojnar",
   title = "Object-Oriented Petri Nets, Their Simulation, and Analysis",
   pages = "256--261",
   booktitle = "Proceedings of the IEEE SMC'98 Conference",
   number = "IEEE Cat",
   year = 1998,
   location = "San Diego, California, US",
   ISBN = "0-7803-4781-1",
   ISSN = "1062-922X",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6560"
}
Back to top