Publication detail

The First Steps Towards Using State Spaces of Object-Oriented Petri Nets

VOJNAR, T.

Original Title

The First Steps 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

Petri nets, object-orientation, state spaces

Authors

VOJNAR, T.

Released

1. 1. 1999

Publisher

unknown

Location

Ostrava

ISBN

80-7078-679-5

Book

Proceedings of International Workshop on Control and Information Technology - IWCIT'99

Pages from

165

Pages to

170

Pages count

6

BibTex

@inproceedings{BUT191475,
  author="Tomáš {Vojnar}",
  title="The First Steps Towards Using State Spaces of Object-Oriented Petri
 Nets",
  booktitle="Proceedings of International Workshop on Control and Information Technology - IWCIT'99",
  year="1999",
  pages="165--170",
  publisher="unknown",
  address="Ostrava",
  isbn="80-7078-679-5"
}