Publication result detail

Towards Using State Spaces of Object-Oriented Petri Nets

VOJNAR, T.

Original Title

Towards Using State Spaces of Object-Oriented Petri Nets

English Title

Towards Using State Spaces of Object-Oriented Petri Nets

Type

Paper in proceedings outside WoS and Scopus

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.

English 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

Key words in English

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

Authors

VOJNAR, T.

Released

01.01.1999

Publisher

Marq software s.r.o.

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",
  publisher="Marq software s.r.o.",
  address="Rožnov pod Radhoštěm",
  isbn="80-85988-32-1"
}