Publication Details

State Spaces of Object-Oriented Petri Nets

JANOUŠEK Vladimír and VOJNAR Tomáš. State Spaces of Object-Oriented Petri Nets. In: Proceedings of MFCS'98 Workshop on Concurrency. Brno: unknown, 1998, pp. 87-96.

Type

conference paper

Language

english

Authors

Janoušek Vladimír, Ing., Ph.D. (DCSE FEECS BUT)
Vojnar Tomáš, Ing., Ph.D. (DCSE FEECS BUT)

Annotation

This paper looks at object-oriented Petri nets, and considers the problem of analysing the state space, which in general distinguishes according to instance names of objects. It is proposed that most analysis can be done using a name-abstracted state space.

Published

1998

Pages

87-96

Proceedings

Proceedings of MFCS'98 Workshop on Concurrency

Number

Place

Brno, CZ

BibTeX

@INPROCEEDINGS{FITPUB6000,
   author = "Vladim\'{i}r Janou\v{s}ek and Tom\'{a}\v{s} Vojnar",
   title = "State Spaces of Object-Oriented Petri Nets",
   pages = "87--96",
   booktitle = "Proceedings of MFCS'98 Workshop on Concurrency",
   number = "FIMU-RS-",
   year = 1998,
   location = "Brno, CZ",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6000"
}