Follow
Radek Kočí
Title
Cited by
Cited by
Year
Measurement of distance by single visual camera at robot sensor systems
R Doskocil, J Fischer, V Krivanek, A Stefek
Proceedings of 15th International Conference MECHATRONIKA, 1-7, 2012
182012
Object oriented Petri nets modelling techniques case study
R Koci, V Janousek, F Zboril Jr
2008 Second UKSIM European Symposium on Computer Modeling and Simulation …, 2008
162008
PNtalk: Concurrent language with MOP
V Janoušek, R Kocı
Proceedings of the CS&P’2003 Workshop, 271-282, 2003
162003
Petri Nets-Based Development of Dynamically Reconfigurable Embedded Systems.
T Richta, V Janousek, R Kocí
PNSE+ ModPE 989, 203-217, 2013
152013
Úvod do softwarového inženýrství-Studijní opora
B Křena, R Kočí
FIT VUT v Brně, Interní materiál, Prosinec, 2010
142010
System design with object oriented petri nets formalism
R Kocí, V Janoušek
2008 The Third International Conference on Software Engineering Advances …, 2008
142008
Modeling and simulation-based design using Object-oriented Petri nets: a case study
R Kočí, V Janoušek
International Workshop on P etri N ets and S oftware E ngineering, 253, 2012
122012
Towards an open implementation of the PNtalk system
V Janoušek, R Kocı
Proceedings of the 5th EUROSIM Congress on Modeling and Simulation, 2004
122004
Simulation based design of control systems using DEVS and Petri Nets
R Kocı, V Janoušek
International Conference on Computer Aided Systems Theory, 849-856, 2009
112009
Simulation and design of systems with object oriented petri nets
V Janoušek, R Kocı
Proceedings of the 6th EUROSIM Congress on Modelling and Simulation, 9, 2007
112007
Úvod do softwarového inženýrství
B Křena, R Kočí
Študijní opora. FIT VUT Brno, 2006
112006
Towards model-based design with PNtalk
V Janoušek, R Kocı
Proceedings of the International Workshop MOSMIC’2005, 2005
112005
PNtalk project: current research direction
V Janoušek, R Kočí
Simulation Almanac 2005, 2005
112005
Framework for model-based design of multi-agent systems
F Zboril Jr, V Janousek, R Koci, F Zboril, Z Mazal
International Journal of Autonomic Computing 1 (2), 140-162, 2009
102009
The object oriented petri net component model
R Kocı, V Janoušek
The Tenth International Conference on Software Engineering Advances. Xpert …, 2015
92015
Dynamic Software Architecture for Distributed Embedded Control Systems.
T Richta, V Janousek, R Kocí
PNSE@ Petri Nets, 133-150, 2015
92015
CADaVISION: a simulation framework for machine vision prototyping
S Irgenfried, I Tchouchenkov, H Wörn, R Koci, P Hanacek, J Kunovski, ...
Proceedings of the Second International Conference on Computer Modelling and …, 2011
82011
Specification of requirements using unified modeling language and Petri Nets
R Kocı, V Janoušek
International Journal on Advances in Software Volume 10, Number 1 & 2, 2017, 2017
72017
Code generation for Petri nets-specified reconfigurable distributed control systems
T Richta, V Janousek, R Koci
Proceedings of 15th International Conference MECHATRONIKA, 1-7, 2012
72012
OOPN and DEVS formalisms for system specification and analysis
R Koc̆í, V Janous̆ek
2010 Fifth International Conference on Software Engineering Advances, 305-310, 2010
72010
The system can't perform the operation now. Try again later.
Articles 1–20