Publication detail

Towards Using State Spaces of Object-Oriented Petri Nets

VOJNAR, T.

Original Title

Towards Using State Spaces of Object-Oriented Petri Nets

Type

article in a collection out of WoS and Scopus

Language

English

Original Abstract

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.

Keywords

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

Authors

VOJNAR, T.

Released

1. 1. 1999

Location

Rožnov pod Radhoštěm

ISBN

80-85988-32-1

Book

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

Pages from

141

Pages to

148

Pages count

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