Detail publikace

Towards Verifying Distributed Systems Using Object-Oriented Petri Nets

ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. Lecture Notes in Computer Science, 2000, vol. 2000, no. 1798, p. 90-104. ISSN: 0302-9743.
Název česky
Výzkum metod verifikace distribuovaných systémů s použitím objektově orientovaných Petriho sítí
Typ
článek v časopise
Jazyk
anglicky
Autoři
Češka Milan, prof. RNDr., CSc.
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Klíčová slova

Petri nets, object-orientation, formal analysis and verification

Abstrakt

Čánek diskutuje aktuální stav ve výzkumu metod verifikace distribuovaných systémů s použitím objektově orientovaných Petriho sítí, zejména problémy se jmény dynamicky vznikajících a zanikajících objektů ve stavových prostorech.

Rok
2000
Strany
90–104
Časopis
Lecture Notes in Computer Science, roč. 2000, č. 1798, ISSN 0302-9743
Kniha
Computer Aided Systems Theory
Vydavatel
Springer Verlag
Místo
Berlín
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"
}
Nahoru