Detail publikace

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

VOJNAR, T.

Originální název

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

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

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.

Klíčová slova

Petri nets, object-orientation, state spaces

Autoři

VOJNAR, T.

Vydáno

1. 1. 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"
}