Publication Details

Towards Verifying Complex Distributed Systems Using Object-Oriented Petri Nets

ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Towards Verifying Complex Distributed Systems Using Object-Oriented Petri Nets. In: Proceedings of the 7th International Conference on Computer Aided Systems Theory and Technology -- EUROCAST'99. Vienna: unknown, 1999, pp. 229-232.
Type
conference paper
Language
english
Authors
Češka Milan, Prof. RNDr., CSc. (DCSE FEECS BUT)
Janoušek Vladimír, Ing., Ph.D. (DCSE FEECS BUT)
Vojnar Tomáš, Ing., Ph.D. (DCSE FEECS BUT)
Keywords

Petri nets, object-orientation, formal analysis and verification

Published
1999
Pages
229-232
Proceedings
Proceedings of the 7th International Conference on Computer Aided Systems Theory and Technology -- EUROCAST'99
Place
Vienna, AT
BibTeX 
@INPROCEEDINGS{FITPUB6565,
   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 Complex Distributed Systems Using Object-Oriented
 Petri Nets",
   pages = "229--232",
   booktitle = "Proceedings of the 7th International Conference on Computer Aided Systems Theory and Technology -- EUROCAST'99",
   year = 1999,
   location = "Vienna, AT",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6565"
}
Back to top