Result Details

Towards Verifying Distributed Systems Using Object-Oriented Petri Nets

ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. Lecture Notes in Computer Science, 2000, vol. 2000, no. 1798, p. 90-104. ISSN: 0302-9743.
Type
journal article
Language
English
Authors
Češka Milan, prof. RNDr., CSc.
Janoušek Vladimír, doc. Ing., Ph.D.
Vojnar Tomáš, prof. Ing., Ph.D.
Abstract

The article discusses the notion of state spaces of object-orientedPetri nets (OOPNs) associated to the tool called PNtalk and the role ofidentifiers of dynamically appearing and disappearing instances withinthese state spaces. Methods of working with identifiers based onsophisticated naming rules and mechanisms for abstracting names aredescribed and compared. Some optimizations of state space generatingalgorithms for the context of OOPNs are mentioned, as well. Finally,some possibilities of specifying properties of systems to be checkedover the state spaces of their OOPN-based models are discussed.

Keywords

Petri nets, object-orientation, formal analysis and verification

Published
2000
Pages
90–104
Journal
Lecture Notes in Computer Science, vol. 2000, no. 1798, ISSN 0302-9743
Book
Computer Aided Systems Theory
Publisher
Springer Verlag
Place
Berlín
BibTeX 
@article{BUT191473,
  author="Milan {Češka} and Vladimír {Janoušek} and Tomáš {Vojnar}",
  title="Towards Verifying Distributed Systems Using Object-Oriented Petri Nets",
  journal="Lecture Notes in Computer Science",
  year="2000",
  volume="2000",
  number="1798",
  pages="90--104",
  issn="0302-9743"
}
Projects
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
Petri Nets Research Group (VZ PETRINET)
System Modelling and Optimization Research Group (VZ MODSIM)
Departments
Faculty of Information Technology (FIT)
Back to top