Detail publikačního výsledku

Towards Using State Spaces of Object-Oriented Petri Nets

VOJNAR, T.

Originální název

Towards Using State Spaces of Object-Oriented Petri Nets

Anglický název

Towards Using State Spaces of Object-Oriented Petri Nets

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

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

Klíčová slova v angličtině

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

Autoři

VOJNAR, T.

Vydáno

01.01.1999

Nakladatel

Marq software s.r.o.

Místo

Rožnov pod Radhoštěm

ISBN

80-85988-32-1

Kniha

Proceedings of 33rd Spring International Conference on Modelling and Simulation of Systems MOSIS'99

Strany od

141

Strany do

148

Strany počet

8

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