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"
}