Detail publikace

Towards Using State Spaces of Object-Oriented Petri Nets

VOJNAR, T. Towards Using State Spaces of Object-Oriented Petri Nets. Proceedings of 33rd Spring International Conference on Modelling and Simulation of Systems MOSIS'99. Rožnov pod Radhoštěm: 1999. p. 141-148. ISBN: 80-85988-32-1.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Klíčová slova

object-oriented Petri nets - formal analysis and verification - 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
141–148
Sborník
Proceedings of 33rd Spring International Conference on Modelling and Simulation of Systems MOSIS'99
ISBN
80-85988-32-1
Místo
Rožnov pod Radhoštěm
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",
  address="Rožnov pod Radhoštěm",
  isbn="80-85988-32-1"
}
Nahoru