Result 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. no. IEEE Cat, 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.
Vojnar Tomáš, prof. Ing., Ph.D.
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"
}
Projects
Object-oriented Database Model, GA102/96/0986, start: 1996-01-01, end: 1998-12-31, completed
PNtalk - tools based on object-oriented Petri nets, BUT, Institucionální podpora na rozvoj výzkumné organizace, UIVT-PNtalk, start: 1994-01-01, end: 2010-12-31, completed
Research and Applications of Heterogenous Models, GACR, Standardní projekty, GA102/98/0552, start: 1998-01-01, end: 2000-12-31, completed
Research groups
Information and Database Systems Research Group (RG IS)
Petri Nets Research Group (RG PETRINET)
System Modelling and Optimization Research Group (RG MODSIM)
Departments
Faculty of Information Technology (FIT)
Back to top