Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikačního výsledku
VOJNAR, T.
Originální název
The First Steps Towards Using State Spaces of Object-Oriented Petri Nets
Anglický název
Druh
Stať ve sborníku mimo WoS a Scopus
Originální 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.
Anglický abstrakt
Klíčová slova
Petri nets, object-orientation, state spaces
Klíčová slova v angličtině
Autoři
Vydáno
01.01.1999
Nakladatel
unknown
Místo
Ostrava
ISBN
80-7078-679-5
Kniha
Proceedings of International Workshop on Control and Information Technology - IWCIT'99
Strany od
165
Strany do
170
Strany počet
6
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" }