Detail výsledku

Specifying Properties of Systems To Be Checked Using Their Object-Oriented Petri Net-Based Models

VOJNAR, T. Specifying Properties of Systems To Be Checked Using Their Object-Oriented Petri Net-Based Models. Proceedings of 21st International Workshop on Advanced Simulation of Systems ASIS'99. Krnov: Marq software s.r.o., 1999. no. Acta MOS, p. 219-224. ISBN: 80-85988-41-0.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Vojnar Tomáš, prof. Ing., Ph.D., FEKT (FEKT)
Abstrakt

The article discusses several possible ways of specifying properties of systems to be checked via formal analysis or verification on the state spaces of their models based on object-oriented Petri nets.

Klíčová slova

Petri nets, object-orientation, formal analysis and verification

Rok
1999
Strany
219–224
Sborník
Proceedings of 21st International Workshop on Advanced Simulation of Systems ASIS'99
Číslo
Acta MOS
ISBN
80-85988-41-0
Vydavatel
Marq software s.r.o.
Místo
Krnov
BibTeX 
@inproceedings{BUT191476,
  author="Tomáš {Vojnar}",
  title="Specifying Properties of Systems To Be Checked Using Their Object-Oriented Petri Net-Based Models",
  booktitle="Proceedings of 21st International Workshop on Advanced Simulation of Systems ASIS'99",
  year="1999",
  number="Acta MOS",
  pages="219--224",
  publisher="Marq software s.r.o.",
  address="Krnov",
  isbn="80-85988-41-0"
}
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