Detail výsledku

Generating and Exploiting State Spaces of Object-Oriented Petri Nets

ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Generating and Exploiting State Spaces of Object-Oriented Petri Nets. Proceedings of Workshop on Software Engineering and Petri Nets, 21st International Conference on Application and Theory of Petri Nets 2000. DAIMI PB. Aarhus: unknown, 2000. no. DAIMI PB, p. 35-54. ISSN: 0105-8517.
Typ
článek ve sborníku konference
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 describes two of the problems arising in the area of generating and exploiting state spaces of the object-oriented Petri nets (OOPNs) associated to the tool called PNtalk. Firstly, the influence of identifiers of dynamically appearing and disappearing instances upon the state space explosion problem is explained. Methods of working with identifiers based on sophisticated naming rules and mechanisms for abstracting names are described and compared. Subsequently, there are discussed several attitudes to specifying properties of systems to be validated by means of state spaces of their OOPN-based models.

Klíčová slova

Petri nets, object-orientation, formal analysis and verification

Rok
2000
Strany
35–54
Časopis
DAIMI PB, č. DAIMI PB, ISSN 0105-8517
Sborník
Proceedings of Workshop on Software Engineering and Petri Nets, 21st International Conference on Application and Theory of Petri Nets 2000
Vydavatel
unknown
Místo
Aarhus
BibTeX 
@inproceedings{BUT191471,
  author="Milan {Češka} and Vladimír {Janoušek} and Tomáš {Vojnar}",
  title="Generating and Exploiting State Spaces of Object-Oriented Petri Nets",
  booktitle="Proceedings of Workshop on Software Engineering and Petri Nets, 21st International Conference on Application and Theory of Petri Nets 2000",
  year="2000",
  journal="DAIMI PB",
  number="DAIMI PB",
  pages="35--54",
  publisher="unknown",
  address="Aarhus",
  issn="0105-8517"
}
Projekty
Modelování, verifikace a prototypování distribuovaných aplikací s využitím Petriho sítí, GAČR, Standardní projekty, GA102/00/1017, zahájení: 2000-01-01, ukončení: 2002-12-31, ukončen
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ý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