Publication Details

Object-Oriented Petri Nets, Their Simulation, and Analysis

ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Object-Oriented Petri Nets, Their Simulation, and Analysis. Proceedings of the IEEE SMC'98 Conference. Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics. San Diego, California: unknown, 1998. p. 256-261. ISBN: 0-7803-4781-1. ISSN: 1062-922X.
Type
conference paper
Language
English
Authors
Češka Milan, prof. RNDr., CSc.
Janoušek Vladimír, doc. Ing., Ph.D. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
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
Journal
Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics, no. IEEE Cat, ISSN 1062-922X
Proceedings
Proceedings of the IEEE SMC'98 Conference
ISBN
0-7803-4781-1
Publisher
unknown
Place
San Diego, California
BibTeX 
@inproceedings{BUT191479,
  author="Milan {Češka} and Vladimír {Janoušek} and Tomáš {Vojnar}",
  title="Object-Oriented Petri Nets, Their Simulation, and Analysis",
  booktitle="Proceedings of the IEEE SMC'98 Conference",
  year="1998",
  journal="Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics",
  number="IEEE Cat",
  pages="256--261",
  publisher="unknown",
  address="San Diego, California",
  isbn="0-7803-4781-1",
  issn="1062-922X"
}
Back to top