Detail výsledku

The First Steps Towards Using State Spaces of Object-Oriented Petri Nets

VOJNAR, T. The First Steps Towards Using State Spaces of Object-Oriented Petri Nets. Proceedings of International Workshop on Control and Information Technology - IWCIT'99. Ostrava: unknown, 1999. p. 165-170. ISBN: 80-7078-679-5.
Typ
článek ve sborníku konference
Jazyk
anglicky
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

Petri nets, object-orientation, state spaces

Rok
1999
Strany
165–170
Sborník
Proceedings of International Workshop on Control and Information Technology - IWCIT'99
ISBN
80-7078-679-5
Vydavatel
unknown
Místo
Ostrava
BibTeX 
@inproceedings{BUT191475,
  author="Tomáš {Vojnar}",
  title="The First Steps Towards Using State Spaces of Object-Oriented Petri
 Nets",
  booktitle="Proceedings of International Workshop on Control and Information Technology - IWCIT'99",
  year="1999",
  pages="165--170",
  publisher="unknown",
  address="Ostrava",
  isbn="80-7078-679-5"
}
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