Detail publikace

Towards Using State Spaces of Object-Oriented Petri Nets

VOJNAR Tomáš. Towards Using State Spaces of Object-Oriented Petri Nets. In: Proceedings of 33rd Spring International Conference on Modelling and Simulation of Systems MOSIS'99. Rožnov pod Radhoštěm: MARQ, 1999, s. 141-148. ISBN 80-85988-32-1.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
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
141-148
Sborník
Proceedings of 33rd Spring International Conference on Modelling and Simulation of Systems MOSIS'99
ISBN
80-85988-32-1
Vydavatel
MARQ
Místo
Rožnov pod Radhoštěm, CZ
BibTeX
@INPROCEEDINGS{FITPUB6562,
   author = "Tom\'{a}\v{s} Vojnar",
   title = "Towards Using State Spaces of Object-Oriented Petri Nets",
   pages = "141--148",
   booktitle = "Proceedings of 33rd Spring International Conference on Modelling and Simulation of Systems MOSIS'99",
   year = 1999,
   location = "Ro\v{z}nov pod Radho\v{s}t\v{e}m, CZ",
   ISBN = "80-85988-32-1",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6562"
}
Nahoru