Detail publikace

Towards Using State Spaces of Object-Oriented Petri Nets

VOJNAR, T.

Originální název

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

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

Autoři

VOJNAR, T.

Vydáno

1. 1. 1999

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",
  address="Rožnov pod Radhoštěm",
  isbn="80-85988-32-1"
}