Detail publikace

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. (UITS)
Klíčová slova

Petri nets, object-orientation, state spaces

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.

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"
}
Nahoru