Detail publikačního výsledku

Towards Verifying Distributed Systems Using Object-Oriented Petri Nets

ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T.

Originální název

Towards Verifying Distributed Systems Using Object-Oriented Petri Nets

Anglický název

Towards Verifying Distributed Systems Using Object-Oriented Petri Nets

Druh

Článek recenzovaný mimo WoS a Scopus

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova

Petri nets, object-orientation, formal analysis and verification

Klíčová slova v angličtině

Petri nets, object-orientation, formal analysis and verification

Autoři

ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T.

Vydáno

01.01.2000

Nakladatel

Springer Verlag

Místo

Berlín

Kniha

Computer Aided Systems Theory

ISSN

0302-9743

Periodikum

Lecture Notes in Computer Science

Svazek

2000

Číslo

1798

Stát

Spolková republika Německo

Strany od

90

Strany do

104

Strany počet

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