Detail výsledku

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.
Typ
článek v časopise
Jazyk
anglicky
Autoři
Češka Milan, prof. RNDr., CSc.
Janoušek Vladimír, doc. Ing., Ph.D.
Vojnar Tomáš, prof. Ing., Ph.D.
Abstrakt

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.

Klíčová slova

Petri nets, object-orientation, formal analysis and verification

Rok
2000
Strany
90–104
Časopis
Lecture Notes in Computer Science, roč. 2000, č. 1798, ISSN 0302-9743
Kniha
Computer Aided Systems Theory
Vydavatel
Springer Verlag
Místo
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"
}
Projekty
PNtalk - nástroje založené na objektově orientovaných Petriho sítích, VUT, Institucionální podpora na rozvoj výzkumné organizace, UIVT-PNtalk, zahájení: 1994-01-01, ukončení: 2010-12-31, ukončen
Výzkum a aplikace heterogenních modelů, GAČR, Standardní projekty, GA102/98/0552, zahájení: 1998-01-01, ukončení: 2000-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina modelování a optimalizace (VZ MODSIM)
Výzkumná skupina Petriho sítí (VZ PETRINET)
Pracoviště
Fakulta informačních technologií (FIT)
Nahoru