Prof. Ing. Tomáš Vojnar, Ph.D.

Environment for Development, Modelling, and Application of Heterogeneous Systems

Czech title:Prostředí pro vývoj, modelování a aplikaci heterogenních systémů
Reseach leader:Vavřín Petr (UAMT FEI VUT)
Team leaders:Češka Milan, Hanáček Petr, Hruška Tomáš, Janoušek Vladimír, Jirsík Václav (UAMT FEI VUT), Kunovský Jiří, Malec Zdeněk (UAMT FEI VUT), Peringer Petr, Pivoňka Petr (UAMT FEI VUT), Rábová Zdeňka, Václavek Pavel, Vojnar Tomáš, Zbořil František
Team members:Černohorský Jakub, Drahanský Martin, Güttner Jakub, Hrubý Martin, Kočí Radek, Martinek David, Orság Filip, Petřek Jiří, Řezáč David, Zacios Dalibor, Zbořil František
Agency:Czech Science Foundation
Code:GA102/01/1485
Start:2001-01-01
End:2003-12-31
Keywords:simulation tools, heterogeneous models, Petri nets, fuzzy logic, neural nets, control systems, artificial intelligence
Annotation:
The present situation in modelling and simulation tools shows that there is still a lack of support for the generation of heterogeneous systems, which are characterised by their volume, incomplete information, qualitative nature of parameters, high degree of dynamism of processes and complex relationships between their objects. A comprehensive analysis of these heterogeneous systems may be facilitated by a combination of methods and approaches inherent in the environment that we have designed. The use of this environment may be very productive in modelling traffic, floods, VLSI circuits or in control processes. A global objective of the project is to find a suitable combination of methods and tools for designing and implementing heterogeneous models. This will result in creating an object-oriented environment for the design and distributed simulation of heterogeneous models, which will help link the classical continuous and discrete simulation abstractions with knowledge modelling based on logical programming, fuzzy concepts, and neural networks with models based on Petri nets. Since we also plan to include system security issues, we want to adopt a complex approach to the risk analysis. The environment created will also include support of space visualisation -- virtual reality. This, together with the use of methods of artificial intelligence, will help to build an efficient space model of simulation and generate behaviour descriptions of space objects.

Preceding projects

1998Research and Applications of Heterogenous Models, GACR, GA102/98/0552, 1998-2000, completed
Research leader: Vavřín Petr
Team leaders: Češka Milan, Hanáček Petr, Hruška Tomáš, Janoušek Vladimír, Jirsík Václav, Jura Pavel, Marušinec Jaromír, Pavlíčková Jiřina, Peringer Petr, Pivoňka Petr, Přikryl Petr, Rábová Zdeňka, Šolc František, Zbořil František

Publications

2005HRUBÝ Martin, KOČÍ Radek and RÁBOVÁ Zdeňka. The Heterogeneous Modelling Methods and Tools. Simulation Almanac 2005. Praha: Faculty of Electrical Engineering, Czech Technical University, 2005, pp. 40-50.
 MARTINEK David and RÁBOVÁ Zdeňka. Grafický popis simulačních modelů. In: NETSS 2005 - 2nd International Winter Workshop - New Trends in System Simulation. Ostrava, 2005, pp. 63-66. ISBN 80-86840-07-7.
 RÁBOVÁ Zdeňka. Modelling and Simulation Education and Research at Faculty of Information Technology (FIT), Brno University of Technology (BUT). Simulation Almanac 2005. Praha: Faculty of Electrical Engineering, Czech Technical University, 2005, pp. 9-11.
2004DRAHANSKÝ Martin and ORSÁG Filip. Biometric Security Systems: Robustness of the Fingerprint and Speech Technologies. In: BT 2004 - International Workshop on Biometric Technologies. Calgary, 2004, pp. 99-103.
 DRAHANSKÝ Martin and SMOLÍK Luděk. Entropic Numbers from the Fingerprint. In: Entropic Numbers from the Fingerprint. Londýn: The Royal Statistical Society, 2004, pp. 1-20.
 DRAHANSKÝ Martin, ORSÁG Filip and ZBOŘIL František V. Biometrics in Security Applications. In: Proceedings of 38th International Conference MOSIS '04. Ostrava, 2004, pp. 201-206. ISBN 80-85988-98-4.
 KUNOVSKÝ Jiří and ŘEZÁČ David. TKSL and Stiff System Detection. In: Proceedings of the 3rd International Conference Aplimat. Bratislava: Slovak University of Technology in Bratislava, 2004, pp. 621-626. ISBN 80-227-1995-1.
 MARTINEK David. Japetus - a Platform for Heterogeneous Modelling. In: Proceedings of XXVI International Autumn Colloquium ASIS 2004 Advanced Simulation of Systems. Ostrava, 2004, pp. 203-206. ISBN 80-86840-03-4.
2003BEDNÁŘ David and KRESLÍKOVÁ Jitka. Object-oriented model of Processes in Project Management. In: ASIS 2003. Ostrava, 2003, pp. 335-342. ISBN 80-85988-88-7.
 BOUAJJANI Ahmed, HABERMEHL Peter and VOJNAR Tomáš. Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management. Lecture Notes in Computer Science. 2003, vol. 2003, no. 2761, pp. 174-190. ISSN 0302-9743.
 CARUANA Etienne, ČEŠKA Milan and SKLENÁŘ Jaroslav. Using Petri Nets in Simulation of Manufacturing Systems (extended version). In: Proceedings of XXVth International Autumn Colloquium ASIS 2003. Ostrava, 2003, pp. 189-202. ISBN 80-85988-88-7.
 CARUANA Etienne, ČEŠKA Milan and SKLENÁŘ Jaroslav. Using Petri Nets in Simulation of Manufacturing Systems. In: IPSI-2003 Proceedings. Belgrad: IPSI Belgrade Ltd, 2003, p. 5. ISBN 88-85280-62-5.
 DRAHANSKÝ Martin and ORSÁG Filip. Biometric Security Systems: Fingerprint and Speech Technology. In: Proceedings of the 1st Indian International Conference on Artificial Intelligence. Tallahassee: Indian International Conference of Artificial Intelligence, 2003, pp. 703-711. ISBN 0-9727412-0-8.
 DRAHANSKÝ Martin, ORSÁG Filip and SMOLÍK Luděk. Biometric Security Systems. In: Sborník Mikulášské kryptobesídky 2003. Praha: ECOM-MONITOR, 2003, pp. 1-10. ISBN 80-903083-3-3.
 FLORIÁN Vladimír and PERINGER Petr. Systém pro 3D vizualizaci výsledků simulace. In: Proceedings of XXV-th International Autumn Colloquium ASIS 2003. Ostrava, 2003, p. 4. ISBN 80-85988-88-7.
 GÜTTNER Jakub. Object Database on Top of the Semantic Web. In: Proceedings of the WI/IAT 2003 Workshop on Applications, Products and Services of Web-based Support systems. Halifax, 2003, pp. 97-102. ISBN 0-9734039-1-8.
 HANÁČEK Petr and MATYÁŠ Václav. Čipové karty v informačních systémech. In: Sborník konference Datakon 2003. Brno: Masaryk University, 2003, pp. 15-22. ISBN 80-210-3215-4.
 HANÁČEK Petr and RÁBOVÁ Zdeňka. Systémy IDS a mobilní inteligentní agenti. In: Proceedings of ASIS 2003. Ostrava, 2003, pp. 9-13. ISBN 80-85988-88-7.
 HANÁČEK Petr, RÁBOVÁ Zdeňka and ZBOŘIL František V. Model okolního prostředí mobilního robota. In: MOSMIC'2003. Žilina: Zilina University Publisher, 2003, pp. 25-30. ISBN 80-8070-139-3.
 HAŠA Luděk and ČEŠKA Milan. Design of a Model Checker for Object-Oriented Petri Net Models. In: IPSI-2003 Proceedings. Belgrad: IPSI Belgrade Ltd, 2003, p. 6. ISBN 88-85280-62-5.
 HEROUT Adam, ŘEZÁČ David and TIŠNOVSKÝ Pavel. Visualization of 3D Potential Fields Computed Using TKSL/C. In: Proceedings of the 9th Conference and Competition STUDENT EEICT 2003. Brno: Faculty of Electrical Engineering and Communication BUT, 2003, pp. 583-587. ISBN 80-214-2379-X.
 HEROUT Adam, ŘEZÁČ David and TIŠNOVSKÝ Pavel. Visualization of 3D Potential Fields Computed Using TKSL/C. In: Proceedings of the International Conference and Competition STUDENT EEICT 2003. Brno: Brno University of Technology, 2003, pp. 310-314. ISBN 80-214-2401-X.
 HRUBÝ Martin and KOČÍ Radek. Modern Simulation Techniques and Tools. In: Proceedings of the International Workshop MOSMIC'2003. Žilina: Faculty of management science and Informatics of Zilina University, 2003, pp. 7-15. ISBN 80-8070-139-3.
 HRUBÝ Martin. Formal Specification of the HELEF Simulation Language. In: Proceedings of 37th Internation Conference MOSIS'03. Ostrava, 2003, pp. 143-148. ISBN 80-85988-86-0.
 JANOUŠEK Vladimír and KOČÍ Radek. PNtalk: Concurrent Language with MOP. In: Proceedings of the CS&P'2003 Workshop. Warsawa: Warsaw University, 2003, pp. 271-282. ISBN 83-88374-71-0.
 KOČÍ Radek and RÁBOVÁ Zdeňka. Purposes of the PNtalk System. In: Proceedings of International Conference MOSIS '03. Ostrava, 2003, pp. 149-156. ISBN 80-85988-86-0.
 KUNOVSKÝ Jiří and ŘEZÁČ David. Electrical Fields Solved by TKSL/C. In: Proceedings of 37th International Conference MOSIS'03. Ostrava, 2003, pp. 171-176. ISBN 80-85988-86-0.
 KUNOVSKÝ Jiří and ŘEZÁČ David. Parallel Computations Based on Taylor Series Method. In: Proceedings 4th MATHMOD Vienna. Wien: ARGE Simulation News, 2003, pp. 316-317. ISBN 3-901608-24-9.
 KUNOVSKÝ Jiří and ŘEZÁČ David. Stiff System Detection Using Taylor Series Method. In: Proceedings of XXVth Internation Autumn Colloquium ASIS2003 Advanced Simulation of Systems. Ostrava, 2003, pp. 275-278. ISBN 80-85988-88-7.
 KUNOVSKÝ Jiří, MELKES František and PETŘEK Jiří. Equation System Simplification in the Taylor Series Method. In: Proceedings of 37th International Conference MOSIS'03. Ostrava, 2003, pp. 165-170. ISBN 80-85988-86-0.
 KUNOVSKÝ Jiří, PETŘEK Jiří and ŘEZÁČ David. Modern Taylor Series Method in Simulation of Processes and Systems. In: Proceedings of International Carpathian Control Conference ICCC'2003. Košice: The University of Technology Košice, 2003, pp. 337-340. ISBN 80-7099-509-2.
 KŘENA Bohuslav. Object-oriented Petri Nets and their Application and Type Analysis. Information Technologies and Control. Sofia: 2003, vol. 1, no. 1, pp. 27-31. ISSN 1312-2622.
 MARTINEK David and PERINGER Petr. Parallel modelling in FuzzySIMLIB/C++. In: Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems. Ostrava, 2003, pp. 157-164. ISBN 80-85988-86-0.
 MARTINEK David, ČERNOHORSKÝ Jakub and RÁBOVÁ Zdeňka. Eclipse as Modelling Platform. In: Proceedings of XXVth Internation Autumn Colloquium ASIS2003 Advanced Simulation of Systems. Ostrava, 2003, pp. 203-208. ISBN 80-85988-88-7.
 MARTINEK David, ČERNOHORSKÝ Jakub and RÁBOVÁ Zdeňka. Graphical Interface of Simulation. In: Proceedings of 37th International Conference MOSIS'03 Modelling and Simulation of Systems. Ostrava, 2003, pp. 131-136. ISBN 80-85988-86-0.
 MÁČEL Michal and HRUŠKA Tomáš. Kolaborativní aplikace. In: Systems Integration 2003 - Proceedings. Praha: Česká společnost pro systémovou integraci, 2003, pp. 429-436. ISBN 80-245-0522-3.
 ORSÁG Filip and ZBOŘIL František V. Endpoint Detection in the Continuous Speech Using the Neural Networks. In: Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems. Ostrava, 2003, pp. 10-16. ISBN 80-85988-86-0.
 SMOLÍK Petr and HRUŠKA Tomáš. Application of an Object-Oriented Metasystem in University Information System Development. Annals of Cases on Information Technology. Hershey: Idea Group Publishing, 2003, pp. 550-562. ISBN 1-59140-061-9.
 URBÁŠEK Milan. Preserving Properties in System Redesign: Rule-Based Approach. Recent Trends in Algebraic Development Techniques. Berlin: Springer Verlag, 2003, pp. 442-456. ISBN 3-540-20537-3.
 ZBOŘIL František and ZBOŘIL František V. Plan Reconsideration in Hybrid Agent System. In: Proceedings of XXVth International Autumn Colloquium ASIS 2003. Ostrava, 2003, pp. 315-321. ISBN 80-85988-88-7.
 ZBOŘIL František. Information Sharing and Distribution in Multiagent Systems. In: Proceedings of 37th International Conference MOSIS '03. Ostrava, 2003, pp. 287-292. ISBN 80-85988-86-0.
 ZBOŘIL František. Risk Analysis through Multiagent Systems. In: Proceedings of International Carpathian Control Conference. Košice: The University of Technology Košice, 2003, pp. 845-848. ISBN 80-7099-509-2.
2002BENJAMIN Braatz, HARTMUT Ehrig, HOFFMANN Kathrin, PADBERG Julia and URBÁŠEK Milan. Proceedings of AGT'02. In: Applied Graph Transformation - AGT'02. Grenoble, 2002, pp. 35-44.
 CARUANA Etienne, ČEŠKA Milan and SKLENÁŘ Jaroslav. Petri Nets and their Use in Modelling of Manufacturing Systems. In: ASIS 2002 - Advanced Simulation of System. Ostrava, 2002, pp. 17-28. ISBN 80-85988-77-1.
 DRAHANSKÝ Martin and ORSÁG Filip. Fingerprints and Speech Recognition as parts of the biometry. In: Proceedings of 36th International Conference MOSIS '02. Ostrava, 2002, pp. 177-183. ISBN 80-85988-71-2.
 DRAHANSKÝ Martin. Fingerprint Recognition and Smart Cards. In: Proceedings of 8th EEICT conference. Brno: Faculty of Information Technology BUT, 2002, pp. 436-440. ISBN 80-214-2116-9.
 DRAHANSKÝ Martin. Fingerprint recognition. In: 16-th Biennial International Eurasip Conference Biosignal 2002. Brno: Masaryk University, 2002, pp. 301-303. ISBN 80-214-2120-7.
 GÜTTNER Jakub and HRUŠKA Tomáš. Dynamic Object Model In Interpreted Systems. In: Proceedings od 5th International Conference ISM 02 - Information System Modelling. Ostrava, 2002, pp. 103-110. ISBN 80-85988-70-4.
 HANÁČEK Petr and RÁBOVÁ Zdeňka. Využití modelů při analýze rizik. In: Proceedings of ASIS 2002. Ostrava, 2002, pp. 9-16. ISBN 80-85988-77-1.
 HANÁČEK Petr. Elektronický podpis a PKI v platebních systémech. In: Sborník konference Bezpečnosť informácií vo finančnom sektore. Žilina: NMC, 2002, pp. 21-26. ISBN 80-85655-20-9.
 HANÁČEK Petr. Zabezpečení elektronických transakcí v prostředí internetu. In: Sborník konference Trendy IT Security. Praha, 2002, p. 20.
 HRUBÝ Martin and RÁBOVÁ Zdeňka. HELEF: A New Simulation Language. In: Proceedings of International Conference MOSIS '02. Ostrava, 2002, pp. 39-47. ISBN 80-85988-71-2.
 HRUBÝ Martin and RÁBOVÁ Zdeňka. Modelling of Real-world Objects using the HELEF Language. In: Proceedings of The 28th ASU Conference. Brno: Faculty of Information Technology BUT, 2002, pp. 47-57. ISSN 1102-593X.
 HRUBÝ Martin, KOČÍ Radek, PERINGER Petr and RÁBOVÁ Zdeňka. Tools for Creating of Multimodels. Kybernetes: The International Journal of Systems & Cybernetics. 2002, vol. 2002, no. 9, pp. 1391-1400. ISSN 0368-492X.
 KUNOVSKÝ Jiří and HONZÍK Petr. Definite Integrals in TKSL, Maple and Matlab. In: Proceedings of the Fifth International Scientific Conference Electronic Computers and Informatics 2002. Letná 42, 040 01 TU Košice: The University of Technology Košice, 2002, pp. 22-24. ISBN 80-7099-879-2.
 KUNOVSKÝ Jiří, PETŘEK Jiří and ŘEZÁČ David. Dynamic Simulations of Statis Electronic Circuits. In: Proceedings of XXiVth International Autuum Colloquium ASIS 2002. Ostrava, 2002, pp. 35-39. ISBN 80-85988-77-1.
 KUNOVSKÝ Jiří, PETŘEK Jiří and ŘEZÁČ David. Solving Stiff Systems in Parallel Utilizing the Taylor Series Method. In: Proceedings of 36th International Conference MOSIS '02: Modelling and Simulation Systems Vol. 1. Ostrava, 2002, pp. 27-31. ISBN 80-85988-71-2.
 KUNOVSKÝ Jiří, ŘEZÁČ David and PETŘEK Jiří. TKSL/C an Multiple Arithmetic. In: Proceedings of the Fifth International Scientific Conference Electronic Computers and Informatics 2002. Letná 42, 040 01 TU Košice, SK: The University of Technology Košice, 2002, pp. 19-21. ISBN 80-7099-879-2.
 MARTINEK David. Fuzzy and heterogeneous modelling in SIMLIB/C++. In: Proceedings of 28th ASU Conference - The Simulation Languages. Brno: Department of Intelligent Systems FIT BUT, 2002, pp. 105-114. ISSN 1102-593X.
 MARTINEK David. Grafová struktura pro heterogenní modelování. In: Proceedings of XXIV International Autumn Colloquium ASIS 2002 - Advanced Simulation of Systems. Ostrava, 2002, pp. 209-212. ISBN 80-85988-77-1.
 MARTINEK David. Optimization of fuzzy model parameters. In: Proceedings of 8th Conference STUDENT EEICT 2002. Brno: Faculty of Electrical Engineering and Communication BUT, 2002, pp. 465-470. ISBN 80-214-2116-9.
 MARUŠINEC Jaromír. Simulation of Live Objects in 3D Real-time Environment. In: Proceedings of 28th ASU Conference. Brno: Faculty of Information Technology BUT, 2002, p. 10. ISSN 1102-593X.
 ORSÁG Filip. Some basic techniques of the speech recognition. In: Proceedings of 8th Conference STUDENT EEICT 2002. Brno: Faculty of Electrical Engineering and Communication BUT, 2002, pp. 90-94. ISBN 80-214-2116.
 PERINGER Petr. New design and implementation concepts for SIMLIB/C++. In: Proceedings of XXIVth International Autumn Colloquium ASIS 2002. Ostrava, 2002, pp. 201-204. ISBN 80-85988-77-1.
 PETŘEK Jiří. Parallel Solution of Systems of Linear Algebraic Equations. In: Proceedings of 8th conference Student EEICT 2002. Brno: Faculty of Electrical Engineering and Communication BUT, 2002, pp. 473-477. ISBN 80-214-2116-9.
 SMOLÍK Petr and HRUŠKA Tomáš. Distributed Information Systems Buliding Techniques. In: Proceedings od SSGRR 2002s Conference. L'Aquila: SSGRR Telecom Italia Learning Services, 2002, p. 10. ISBN 88-85280-63-3.
 URBÁŠEK Milan. New Safety Property and Liveness Preserving Morphisms of P/T Systems. Forschungsberichte des Fachbereichs Informatik. Berlin: 2002, vol. 2002, no. 14. ISSN 1436-9915.
 URBÁŠEK Milan. Preserving Properties in System Redesign: Rule-Based Approach. In: ProceeProceedings of the 16th International Workshop on Algebraic Development Techniques. Munich, 2002, pp. 87-88.
 ZBOŘIL František and ZBOŘIL František V. Formal Models of Agent Systems. In: Proceedings of 36th International Conference MOSIS '02. Ostrava, 2002, pp. 163-168. ISBN 80-85988-71-2.
 ZBOŘIL František. Simulation Languages for Agent Systems. In: Proceedings of the Fifth International Scientific Conference ECI 2002. Košice: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2002, pp. 73-77. ISBN 80-7099-879-2.
 ČERNOHORSKÝ Jakub. Discrete simulation in Java. In: Proceedings of 8th Conference STUDENT EEICT 2002. Brno: Faculty of Electrical Engineering and Communication BUT, 2002, p. 5. ISBN 80-214-2116-9.
 ČEŠKA Milan, HRUŠKA Tomáš and ZENDULKA Jaroslav. Education in Information Technology at Brno University of Technology. In: Proceedings of the International Conference - Advances in Infrastructure for e-business, e-education, e-science, and e-medicine on the Internet. L'Aquila: SSGRR Telecom Italia Learning Services, 2002, p. 7. ISBN 88-85280-62-5.
2001ANTOŠ Radomír, BURGET Radek and JELEN Petr. Matematická podpora výstupu dat. In: Proceedings of 7th Conference Student FEI 2001. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2001, pp. 274-276. ISBN 80-214-1859-1.
 DAO anh Minh and ZBOŘIL František. Tuning of Fuzzy Neural Network Classifier. In: Proceedings of the 35th Spring International Conference MOSIS'01. Ostrava, 2001, pp. 201-206. ISBN 80-85988-57-7.
 GÜTTNER Jakub. Voxel Model Creation Using Wavelet-based Stereoanalysis. Brno: Grantová agentura AV ČR, 2001.
 HANÁČEK Petr and RÁBOVÁ Zdeňka. Využití modelování v analýze rizik. In: Proceedings of the 23rd International Autumn Colloquium ASIS 2001. Ostrava, 2001, pp. 9-16. ISBN 80-85988-61-5.
 HANÁČEK Petr and STAUDEK Jan. Certifikační infrastruktury veřejných klíčů. In: Proceedings of DATAKON 2001. Brno: Faculty of Electrical Engineering and Information Technology, Slovak University of Technology in Bratislava, 2001, pp. 1-44. ISBN 80-227-1597-2.
 HANÁČEK Petr and ZBOŘIL František ml. Risk Management in the Process of Risk Analysis. In: Proceedings of the 35th Spring International Conference MOSIS'01. Ostrava, 2001, pp. 351-356. ISBN 80-85988-57-7.
 HANÁČEK Petr. Bezpečnost transakcí na internetu. In: Moderní databáze. Praha: KOMIX, 2001, pp. 76-83. ISBN 80-238-7046-7.
 HEROUT Adam. Knihovna pro práci s objemovými daty. Brno, 2001.
 HRUBÝ Martin and RÁBOVÁ Zdeňka. Object Oriented Programming Languages in Modelling. In: Proceedings of The 27th ASU Conference. Rattwik: Association of Simula Users, 2001, pp. 55-65. ISSN 1102-593X.
 HRUBÝ Martin and RÁBOVÁ Zdeňka. Processes and Knowledge in one Simulation. In: Proceedings of 7th Conference STUDENT FEI 2001. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2001, pp. 333-338. ISBN 80-214-1860-5.
 HRUBÝ Martin, PERINGER Petr and RÁBOVÁ Zdeňka. Knowledge-Based Simulator in Object-Oriented Environment. In: Proceedings of the 35th Spring International Conference MOSIS 2001. Hradec nad Moravicí, 2001, pp. 75-80. ISBN 80-214-1860-5.
 HRUŠKA Tomáš. XML Technology - tutorial. In: ISM 01 Conference Proceedings. Hradec nad Moravicí, 2001, pp. 11-15. ISBN 80-85988-51-3.
 KUNOVSKÝ Jiří and MELKES František. Extremely Exact Solutions of Large Systems of Differential Equations (invited paper). In: Proceedings of the 15th European Simulation Multiconference ESM'2001. Praha: Faculty of Electrical Engineering, Czech Technical University, 2001, pp. 19-24. ISBN 1-56555-225-3.
 KUNOVSKÝ Jiří and MELKES František. Verification of the TKSL/C Simulation System. In: Proceedings of the 35th Spring International Conference Modelling and Simulation of Systems. Ostrava, 2001, pp. 55-58. ISBN 80-85988-57-7.
 KUNOVSKÝ Jiří, MELKES František and MIKULÁŠEK Karel. Extremely Large Systems of Algebraic Equations. In: Proceedings of ASIS 2001. Krnov, 2001, pp. 117-120. ISBN 80-85988-61-5.
 MAREK Vladimír and ČEŠKA Milan. Petri Nets And Random-Context Grammars. In: Proceedings of the 35th Spring Conference: Modelling and Simulation of Systems - MOSIS'01. Hradec nad Moravicí, 2001, pp. 145-152. ISBN 80-85988-57-7.
 MARTINEK David and PERINGER Petr. Graphical Fuzzy Sets Editor. In: Proceedings of 23rd International Autumn Colloquium ASIS 2001. Ostrava, 2001, pp. 143-146. ISBN 80-85988-61-5.
 MARTINEK David. Návrh grafického editoru fuzzy množin. In: Proceedings of 7th Conference Student FEI 2001. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2001, pp. 280-282. ISBN 80-214-1859-1.
 PETŘEK Jiří. Grafický vstup sim. Jazyka TKSL/C. In: Proceedings of 7th Conference Student FEI 2001. Brno: Brno University of Technology, 2001, pp. 304-306. ISBN 80-214-1859-1.
 ZBOŘIL František and ZBOŘIL František ml. The Role of Agents in Simulation Models. In: Proceedings of XXIIIrd International Autumn Colloquium ASIS 2001. Ostrava, 2001, pp. 111-116. ISBN 80-85988-61-5.
 ČERNOHORSKÝ Jakub. Diskrétní simulace v Javě. In: Proceedings of 23rd International Autumn Colloquium ASIS 2001. Ostrava, 2001, p. 4. ISBN 80-85988-61-5.
 ČERNOHORSKÝ Jakub. Objektový model systému hromadné obsluhy. In: Proceedings of 7th Conference Student FEI 2001. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2001, p. 3. ISBN 80-214-1859-1.
 ŘEZÁČ David and PUSTĚJOVSKÝ Rostislav. Tuhé systémy a víceslovní aritmetika. In: Proceedings of 7th Conference STUDENT FEI 2001. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2001, pp. 310-312. ISBN 80-214-1859-1.

Your IPv4 address: 54.82.81.154
Switch to IPv6 connection

DNSSEC [dnssec]