Towards Using State Spaces of Object-Oriented Petri Nets

Type

conference paper

Language

English

Authors

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

Annotation

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. Methods of working with identifiers based on sophisticated naming rules and mechanisms for abstracting names are described and compared. Some optimizations of state space generating algorithms for the context of object-oriented Petri nets are briefly mentioned, as well.

Published

1999

Pages

141–148

Proceedings

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

ISBN

80-85988-32-1

Publisher

Marq software s.r.o.

Place

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

Projects

PNtalk - tools based on object-oriented Petri nets, BUT, Institucionální podpora na rozvoj výzkumné organizace, UIVT-PNtalk, start: 1994-01-01, end: 2010-12-31, completed
Research and Applications of Heterogenous Models, GACR, Standardní projekty, GA102/98/0552, start: 1998-01-01, end: 2000-12-31, completed

Research groups

Petri Nets Research Group (VZ PETRINET)
System Modelling and Optimization Research Group (VZ MODSIM)

Departments

Faculty of Information Technology (FIT)