Detail publikace

Towards Verifying Distributed Systems Using Object-Oriented Petri Nets

ČEŠKA Milan, JANOUŠEK Vladimír a VOJNAR Tomáš. Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. Lecture Notes in Computer Science, roč. 2000, č. 1798, s. 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
angličtina
Autoři
Češka Milan, Prof. RNDr., CSc. (UIVT FEI VUT)
Janoušek Vladimír, Ing., Ph.D. (UIVT FEI VUT)
Vojnar Tomáš, Ing., Ph.D. (UIVT FEI VUT)
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, DE
BibTeX 
@ARTICLE{FITPUB6567,
   author = "Milan \v{C}e\v{s}ka and Vladim\'{i}r Janou\v{s}ek and Tom\'{a}\v{s} Vojnar",
   title = "Towards Verifying Distributed Systems Using Object-Oriented Petri Nets",
   pages = "90--104",
   booktitle = "Computer Aided Systems Theory",
   journal = "Lecture Notes in Computer Science",
   volume = 2000,
   number = 1798,
   year = 2000,
   location = "Berl\'{i}n, DE",
   publisher = "Springer Verlag",
   ISSN = "0302-9743",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6567"
}
Nahoru