Result Details

Towards Verifying Complex Distributed Systems Using Object-Oriented Petri Nets

ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Towards Verifying Complex Distributed Systems Using Object-Oriented Petri Nets. Proceedings of the 7th International Conference on Computer Aided Systems Theory and Technology -- EUROCAST'99. Vienna: unknown, 1999. p. 229-232.
Type
conference paper
Language
English
Authors
Češka Milan, prof. RNDr., CSc.
Janoušek Vladimír, doc. Ing., Ph.D.
Vojnar Tomáš, prof. Ing., Ph.D., FEEC (FEEC)
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
Publisher
unknown
Place
Vienna
BibTeX 
@inproceedings{BUT191474,
  author="Milan {Češka} and Vladimír {Janoušek} and Tomáš {Vojnar}",
  title="Towards Verifying Complex Distributed Systems Using Object-Oriented
 Petri Nets",
  booktitle="Proceedings of the 7th International Conference on Computer Aided Systems Theory and Technology -- EUROCAST'99",
  year="1999",
  pages="229--232",
  publisher="unknown",
  address="Vienna"
}
Projects
PNtalk - tools based on object-oriented Petri nets, BUT, Institucionální podpora na rozvoj výzkumné organizace, UIVT-PNtalk, start: 1994-01-01, end: 2010-12-31, completed
Research and Applications of Heterogenous Models, GACR, Standardní projekty, GA102/98/0552, start: 1998-01-01, end: 2000-12-31, completed
Research groups
Petri Nets Research Group (RG PETRINET)
System Modelling and Optimization Research Group (RG MODSIM)
Departments
Faculty of Information Technology (FIT)
Back to top