Publication detail
Towards Verifying Distributed Systems Using Object-Oriented Petri Nets
ČEŠKA, M. JANOUŠEK, V. VOJNAR, T.
Original Title
Towards Verifying Distributed Systems Using Object-Oriented Petri Nets
Type
journal article - other
Language
English
Original Abstract
The article discusses the notion of state spaces of object-orientedPetri nets (OOPNs) associated to the tool called PNtalk and the role ofidentifiers of dynamically appearing and disappearing instances withinthese state spaces. Methods of working with identifiers based onsophisticated naming rules and mechanisms for abstracting names aredescribed and compared. Some optimizations of state space generatingalgorithms for the context of OOPNs are mentioned, as well. Finally,some possibilities of specifying properties of systems to be checkedover the state spaces of their OOPN-based models are discussed.
Keywords
Petri nets, object-orientation, formal analysis and verification
Authors
ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T.
Released
1. 1. 2000
Publisher
Springer Verlag
Location
Berlín
ISBN
0302-9743
Periodical
Lecture Notes in Computer Science
Year of study
2000
Number
1798
State
Federal Republic of Germany
Pages from
90
Pages to
104
Pages count
15
BibTex
@article{BUT191473,
author="Milan {Češka} and Vladimír {Janoušek} and Tomáš {Vojnar}",
title="Towards Verifying Distributed Systems Using Object-Oriented Petri Nets",
journal="Lecture Notes in Computer Science",
year="2000",
volume="2000",
number="1798",
pages="90--104",
issn="0302-9743"
}