Detail výsledku

Towards Using State Spaces of Object-Oriented Petri Nets

VOJNAR, T. Towards Using State Spaces of Object-Oriented Petri Nets. Proceedings of 33rd Spring International Conference on Modelling and Simulation of Systems MOSIS'99. Rožnov pod Radhoštěm: Marq software s.r.o., 1999. p. 141-148. ISBN: 80-85988-32-1.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Vojnar Tomáš, prof. Ing., Ph.D., FEKT (FEKT)
Abstrakt

The article discusses the notion of state spaces of object-oriented Petri nets associated to the tool called PNtalk and the role of identifiers of dynamically appearing and disappearing instances within these state spaces.

Klíčová slova

object-oriented Petri nets - formal analysis and verification - state spaces

Rok
1999
Strany
141–148
Sborník
Proceedings of 33rd Spring International Conference on Modelling and Simulation of Systems MOSIS'99
ISBN
80-85988-32-1
Vydavatel
Marq software s.r.o.
Místo
Rožnov pod Radhoštěm
BibTeX 
@inproceedings{BUT191477,
  author="Tomáš {Vojnar}",
  title="Towards Using State Spaces of Object-Oriented Petri Nets",
  booktitle="Proceedings of 33rd Spring International Conference on Modelling and Simulation of Systems MOSIS'99",
  year="1999",
  pages="141--148",
  publisher="Marq software s.r.o.",
  address="Rožnov pod Radhoštěm",
  isbn="80-85988-32-1"
}
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