Publication Details

State Spaces of Object-Oriented Petri Nets

JANOUŠEK, V.; VOJNAR, T. State Spaces of Object-Oriented Petri Nets. Proceedings of MFCS'98 Workshop on Concurrency. Brno: unknown, 1998. p. 87-96.

Type

conference paper

Language

English

Authors

Janoušek Vladimír, doc. Ing., Ph.D. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)

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

FIMU-RS-

Publisher

unknown

Place

Brno

BibTeX

@inproceedings{BUT191955,
  author="Vladimír {Janoušek} and Tomáš {Vojnar}",
  title="State Spaces of Object-Oriented Petri Nets",
  booktitle="Proceedings of MFCS'98 Workshop on Concurrency",
  year="1998",
  number="FIMU-RS-",
  pages="87--96",
  publisher="unknown",
  address="Brno"
}