Doc. Ing. František Vítězslav Zbořil, CSc.
Environment for Development, Modelling, and Application of Heterogeneous Systems |
| Reseach leader: | Vavřín Petr |
|---|
| Team leaders: | Češka Milan, Hanáček Petr, Hruška Tomáš, Janoušek Vladimír, Jirsík Václav, Kunovský Jiří, Malec Zdeněk, Peringer Petr, Pivoňka Petr, 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: | GAČR |
| Code: | GA102/01/1485 |
| Start: | 2001 |
| End: | 2003 |
| 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
| 1998 | Research and Applications of Heterogenous Models, GAČR, 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
| 2005 | Hrubý Martin, Kočí Radek, Rábová Zdeňka: The Heterogeneous Modelling Methods and Tools, Simulation Almanac 2005, Praha, CZ, FEL ČVUT, 2005, p. 40-50 |
| | Martinek David, Rábová Zdeňka: Grafický popis simulačních modelů, In: NETSS 2005 - 2nd International Winter Workshop - New Trends in System Simulation, Ostrava, CZ, MARQ, 2005, p. 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, CZ, FEL ČVUT, 2005, p. 9-11 |
| 2004 | Drahanský Martin, Orság Filip, Zbořil František V.: Biometrics in Security Applications, In: Proceedings of 38th International Conference MOSIS '04, Ostrava, CZ, MARQ, 2004, p. 201-206, ISBN 80-85988-98-4 |
| | Drahanský Martin, Orság Filip: Biometric Security Systems: Robustness of the Fingerprint and Speech Technologies, In: BT 2004 - International Workshop on Biometric Technologies, Calgary, CA, 2004, p. 99-103 |
| | Drahanský Martin, Smolík Luděk: Entropic Numbers from the Fingerprint, In: Entropic Numbers from the Fingerprint, Londýn, GB, RSS, 2004, p. 1-20 |
| | Kunovský Jiří, Řezáč David: TKSL and Stiff System Detection, In: Proceedings of the 3rd International Conference Aplimat, Bratislava, SK, STUBA, 2004, p. 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, CZ, MARQ, 2004, p. 203-206, ISBN 80-86840-03-4 |
| 2003 | Bednář David, Kreslíková Jitka: Object-oriented model of Processes in Project Management, In: ASIS 2003, Ostrava, CZ, MARQ, 2003, p. 335-342, ISBN 80-85988-88-7 |
| | Bouajjani Ahmed, Habermehl Peter, Vojnar Tomáš: Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management, In: Lecture Notes in Computer Science, Vol. 2003, No. 2761, DE, p. 174-190, ISSN 0302-9743 |
| | Caruana Etienne, Češka Milan, Sklenář Jaroslav: Using Petri Nets in Simulation of Manufacturing Systems (extended version), In: Proceedings of XXVth International Autumn Colloquium ASIS 2003, Ostrava, CZ, MARQ, 2003, p. 189-202, ISBN 80-85988-88-7 |
| | Caruana Etienne, Češka Milan, Sklenář Jaroslav: Using Petri Nets in Simulation of Manufacturing Systems, In: IPSI-2003 Proceedings, Belgrad, YU, IPSI, 2003, p. 5, ISBN 88-85280-62-5 |
| | Drahanský Martin, Orság Filip, Smolík Luděk: Biometric Security Systems, In: Sborník Mikulášské kryptobesídky 2003, Praha, CZ, ECOM, 2003, p. 1-10, ISBN 80-903083-3-3 |
| | Drahanský Martin, Orság Filip: Biometric Security Systems: Fingerprint and Speech Technology, In: Proceedings of the 1st Indian International Conference on Artificial Intelligence, Tallahassee, US, IICAI, 2003, p. 703-711, ISBN 0-9727412-0-8 |
| | Florián Vladimír, Peringer Petr: Systém pro 3D vizualizaci výsledků simulace, In: Proceedings of XXV-th International Autumn Colloquium ASIS 2003, Ostrava, CZ, MARQ, 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, CA, 2003, p. 97-102, ISBN 0-9734039-1-8 |
| | Hanáček Petr, Matyáš Václav: Čipové karty v informačních systémech, In: Sborník konference Datakon 2003, Brno, CZ, MUNI, 2003, p. 15-22, ISBN 80-210-3215-4 |
| | Hanáček Petr, Rábová Zdeňka, Zbořil František V.: Model okolního prostředí mobilního robota, In: MOSMIC'2003, Žilina, SK, EDIS ŽU, 2003, p. 25-30, ISBN 80-8070-139-3 |
| | Hanáček Petr, Rábová Zdeňka: Systémy IDS a mobilní inteligentní agenti, In: Proceedings of ASIS 2003, Ostrava, CZ, MARQ, 2003, p. 9-13, ISBN 80-85988-88-7 |
| | Haša Luděk, Češka Milan: Design of a Model Checker for Object-Oriented Petri Net Models, In: IPSI-2003 Proceedings, Belgrad, YU, IPSI, 2003, p. 6, ISBN 88-85280-62-5 |
| | Herout Adam, Řezáč David, Tišnovský Pavel: Visualization of 3D Potential Fields Computed Using TKSL/C, In: Proceedings of the 9th Conference and Competition STUDENT EEICT 2003, Brno, CZ, FEKT VUT, 2003, p. 583-587, ISBN 80-214-2379-X |
| | Herout Adam, Řezáč David, Tišnovský Pavel: Visualization of 3D Potential Fields Computed Using TKSL/C, In: Proceedings of the International Conference and Competition STUDENT EEICT 2003, Brno, CZ, VUT v Brně, 2003, p. 310-314, ISBN 80-214-2401-X |
| | Hrubý Martin, Kočí Radek: Modern Simulation Techniques and Tools, In: Proceedings of the International Workshop MOSMIC'2003, Žilina, SK, FRI ŽU, 2003, p. 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, CZ, MARQ, 2003, p. 143-148, ISBN 80-85988-86-0 |
| | Janoušek Vladimír, Kočí Radek: PNtalk: Concurrent Language with MOP, In: Proceedings of the CS&P'2003 Workshop, Warsawa, PL, UW, 2003, p. 271-282, ISBN 83-88374-71-0 |
| | Kočí Radek, Rábová Zdeňka: Purposes of the PNtalk System, In: Proceedings of International Conference MOSIS '03, Ostrava, CZ, MARQ, 2003, p. 149-156, ISBN 80-85988-86-0 |
| | Křena Bohuslav: Object-oriented Petri Nets and their Application and Type Analysis, In: Information Technologies and Control, Vol. 1, No. 1, 2003, Sofia, BG, p. 27-31, ISSN 1312-2622 |
| | Kunovský Jiří, Melkes František, Petřek Jiří: Equation System Simplification in the Taylor Series Method, In: Proceedings of 37th International Conference MOSIS'03, Ostrava, CZ, MARQ, 2003, p. 165-170, ISBN 80-85988-86-0 |
| | Kunovský Jiří, Petřek Jiří, Řezáč David: Modern Taylor Series Method in Simulation of Processes and Systems, In: Proceedings of International Carpathian Control Conference ICCC'2003, Košice, SK, TU v Košiciach, 2003, p. 337-340, ISBN 80-7099-509-2 |
| | Kunovský Jiří, Řezáč David: Electrical Fields Solved by TKSL/C, In: Proceedings of 37th International Conference MOSIS'03, Ostrava, CZ, MARQ, 2003, p. 171-176, ISBN 80-85988-86-0 |
| | Kunovský Jiří, Řezáč David: Parallel Computations Based on Taylor Series Method, In: Proceedings 4th MATHMOD Vienna, Wien, AT, ARGESIM, 2003, p. 316-317, ISBN 3-901608-24-9 |
| | Kunovský Jiří, Řezáč David: Stiff System Detection Using Taylor Series Method, In: Proceedings of XXVth Internation Autumn Colloquium ASIS2003 Advanced Simulation of Systems, Ostrava, CZ, MARQ, 2003, p. 275-278, ISBN 80-85988-88-7 |
| | Máčel Michal, Hruška Tomáš: Kolaborativní aplikace, In: Systems Integration 2003 - Proceedings, Praha, CZ, ČSSI, 2003, p. 429-436, ISBN 80-245-0522-3 |
| | Martinek David, Černohorský Jakub, Rábová Zdeňka: Eclipse as Modelling Platform, In: Proceedings of XXVth Internation Autumn Colloquium ASIS2003 Advanced Simulation of Systems, Ostrava, CZ, MARQ, 2003, p. 203-208, ISBN 80-85988-88-7 |
| | Martinek David, Černohorský Jakub, Rábová Zdeňka: Graphical Interface of Simulation, In: Proceedings of 37th International Conference MOSIS'03 Modelling and Simulation of Systems, Ostrava, CZ, MARQ, 2003, p. 131-136, ISBN 80-85988-86-0 |
| | Martinek David, Peringer Petr: Parallel modelling in FuzzySIMLIB/C++, In: Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems, Ostrava, CZ, MARQ, 2003, p. 157-164, ISBN 80-85988-86-0 |
| | Orság Filip, 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, CZ, MARQ, 2003, p. 10-16, ISBN 80-85988-86-0 |
| | Smolík Petr, Hruška Tomáš: Application of an Object-Oriented Metasystem in University Information System Development, Annals of Cases on Information Technology, Hershey, US, IDEA, 2003, p. 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, DE, Springer, 2003, p. 442-456, ISBN 3-540-20537-3 |
| | Zbořil František, Zbořil František V.: Plan Reconsideration in Hybrid Agent System, In: Proceedings of XXVth International Autumn Colloquium ASIS 2003, Ostrava, CZ, MARQ, 2003, p. 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, CZ, MARQ, 2003, p. 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, SK, TU v Košiciach, 2003, p. 845-848, ISBN 80-7099-509-2 |
| 2002 | Benjamin Braatz, Hartmut Ehrig, Hoffmann Kathrin, Padberg Julia, Urbášek Milan: Proceedings of AGT'02, In: Applied Graph Transformation - AGT'02, Grenoble, FR, 2002, p. 35-44 |
| | Caruana Etienne, Češka Milan, Sklenář Jaroslav: Petri Nets and their Use in Modelling of Manufacturing Systems, In: ASIS 2002 - Advanced Simulation of System, Ostrava, CZ, MARQ, 2002, p. 17-28, ISBN 80-85988-77-1 |
| | Černohorský Jakub: Discrete simulation in Java, In: Proceedings of 8th Conference STUDENT EEICT 2002, Brno, CZ, FEKT VUT, 2002, p. 5, ISBN 80-214-2116-9 |
| | Češka Milan, Hruška Tomáš, 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, IT, SSGRR, 2002, p. 7, ISBN 88-85280-62-5 |
| | Drahanský Martin, Orság Filip: Fingerprints and Speech Recognition as parts of the biometry, In: Proceedings of 36th International Conference MOSIS '02, Ostrava, CZ, MARQ, 2002, p. 177-183, ISBN 80-85988-71-2 |
| | Drahanský Martin: Fingerprint Recognition and Smart Cards, In: Proceedings of 8th EEICT conference, Brno, CZ, FIT VUT, 2002, p. 436-440, ISBN 80-214-2116-9 |
| | Drahanský Martin: Fingerprint recognition, In: 16-th Biennial International Eurasip Conference Biosignal 2002, Brno, CZ, MUNI, 2002, p. 301-303, ISBN 80-214-2120-7 |
| | Güttner Jakub, Hruška Tomáš: Dynamic Object Model In Interpreted Systems, In: Proceedings od 5th International Conference ISM 02 - Information System Modelling, Ostrava, CZ, MARQ, 2002, p. 103-110, ISBN 80-85988-70-4 |
| | Hanáček Petr, Rábová Zdeňka: Využití modelů při analýze rizik, In: Proceedings of ASIS 2002, Ostrava, CZ, MARQ, 2002, p. 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, SK, NMC, 2002, p. 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, CZ, 2002, p. 20 |
| | Hrubý Martin, Kočí Radek, Peringer Petr, Rábová Zdeňka: Tools for Creating of Multimodels, In: Kybernetes: The International Journal of Systems & Cybernetics, Vol. 2002, No. 9, GB, p. 1391-1400, ISSN 0368-492X |
| | Hrubý Martin, Rábová Zdeňka: HELEF: A New Simulation Language, In: Proceedings of International Conference MOSIS '02, Ostrava, CZ, MARQ, 2002, p. 39-47, ISBN 80-85988-71-2 |
| | Hrubý Martin, Rábová Zdeňka: Modelling of Real-world Objects using the HELEF Language, In: Proceedings of The 28th ASU Conference, Brno, CZ, FIT VUT, 2002, p. 47-57, ISSN 1102-593X |
| | Kunovský Jiří, 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, SK, TU v Košiciach, 2002, p. 22-24, ISBN 80-7099-879-2 |
| | Kunovský Jiří, Petřek Jiří, Řezáč David: Dynamic Simulations of Statis Electronic Circuits, In: Proceedings of XXiVth International Autuum Colloquium ASIS 2002, Ostrava, CZ, MARQ, 2002, p. 35-39, ISBN 80-85988-77-1 |
| | Kunovský Jiří, Petřek Jiří, Ř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, CZ, MARQ, 2002, p. 27-31, ISBN 80-85988-71-2 |
| | Kunovský Jiří, Řezáč David, 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, SK, TU v Košiciach, 2002, p. 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, CZ, UITS FIT VUT, 2002, p. 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, CZ, MARQ, 2002, p. 209-212, ISBN 80-85988-77-1 |
| | Martinek David: Optimization of fuzzy model parameters, In: Proceedings of 8th Conference STUDENT EEICT 2002, Brno, CZ, FEKT VUT, 2002, p. 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, CZ, FIT VUT, 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, CZ, FEKT VUT, 2002, p. 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, CZ, MARQ, 2002, p. 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, CZ, FEKT VUT, 2002, p. 473-477, ISBN 80-214-2116-9 |
| | Smolík Petr, Hruška Tomáš: Distributed Information Systems Buliding Techniques, In: Proceedings od SSGRR 2002s Conference, L'Aquila, IT, SSGRR, 2002, p. 10, ISBN 88-85280-63-3 |
| | Urbášek Milan: New Safety Property and Liveness Preserving Morphisms of P/T Systems, In: Forschungsberichte des Fachbereichs Informatik , Vol. 2002, No. 14, Berlin, DE, p. 93, 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, DE, 2002, p. 87-88 |
| | Zbořil František, Zbořil František V.: Formal Models of Agent Systems, In: Proceedings of 36th International Conference MOSIS '02, Ostrava, CZ, MARQ, 2002, p. 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, SK, FEI TU v Košiciach, 2002, p. 73-77, ISBN 80-7099-879-2 |
| 2001 | Antoš Radomír, Burget Radek, Jelen Petr: Matematická podpora výstupu dat, In: Proceedings of 7th Conference Student FEI 2001, Brno, CZ, FEI VUT, 2001, p. 274-276, ISBN 80-214-1859-1 |
| | Černohorský Jakub: Diskrétní simulace v Javě, In: Proceedings of 23rd International Autumn Colloquium ASIS 2001, Ostrava, CZ, MARQ, 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, CZ, FEI VUT, 2001, p. 3, ISBN 80-214-1859-1 |
| | Dao anh Minh, Zbořil František: Tuning of Fuzzy Neural Network Classifier, In: Proceedings of the 35th Spring International Conference MOSIS'01, Ostrava, CZ, MARQ, 2001, p. 201-206, ISBN 80-85988-57-7 |
| | Güttner Jakub: Voxel Model Creation Using Wavelet-based Stereoanalysis, Brno, CZ, GA AVČR, 2001, p. 24 |
| | Hanáček Petr, Rábová Zdeňka: Využití modelování v analýze rizik, In: Proceedings of the 23rd International Autumn Colloquium ASIS 2001, Ostrava, CZ, MARQ, 2001, p. 9-16, ISBN 80-85988-61-5 |
| | Hanáček Petr, Staudek Jan: Certifikační infrastruktury veřejných klíčů, In: Proceedings of DATAKON 2001, Brno, CZ, FEI STUBA, 2001, p. 1-44, ISBN 80-227-1597-2 |
| | Hanáček Petr, Zbořil František ml.: Risk Management in the Process of Risk Analysis, In: Proceedings of the 35th Spring International Conference MOSIS'01, Ostrava, CZ, MARQ, 2001, p. 351-356, ISBN 80-85988-57-7 |
| | Hanáček Petr: Bezpečnost transakcí na internetu, In: Moderní databáze, Praha, CZ, KOMIX, 2001, p. 76-83, ISBN 80-238-7046-7 |
| | Herout Adam: Knihovna pro práci s objemovými daty, Brno, CZ, 2001, p. 24 |
| | Hrubý Martin, Peringer Petr, Rábová Zdeňka: Knowledge-Based Simulator in Object-Oriented Environment, In: Proceedings of the 35th Spring International Conference MOSIS 2001, Hradec nad Moravicí, CZ, MARQ, 2001, p. 75-80, ISBN 80-214-1860-5 |
| | Hrubý Martin, Rábová Zdeňka: Object Oriented Programming Languages in Modelling, In: Proceedings of The 27th ASU Conference, Rattwik, SE, ASU, 2001, p. 55-65, ISSN 1102-593X |
| | Hrubý Martin, Rábová Zdeňka: Processes and Knowledge in one Simulation, In: Proceedings of 7th Conference STUDENT FEI 2001, Brno, CZ, FEI VUT, 2001, p. 333-338, ISBN 80-214-1860-5 |
| | Hruška Tomáš: XML Technology - tutorial, In: ISM 01 Conference Proceedings, Hradec nad Moravicí, CZ, MARQ, 2001, p. 11-15, ISBN 80-85988-51-3 |
| | Kunovský Jiří, Melkes František, Mikulášek Karel: Extremely Large Systems of Algebraic Equations, In: Proceedings of ASIS 2001, Krnov, CZ, MARQ, 2001, p. 117-120, ISBN 80-85988-61-5 |
| | Kunovský Jiří, 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, CZ, FEL ČVUT, 2001, p. 19-24, ISBN 1-56555-225-3 |
| | Kunovský Jiří, Melkes František: Verification of the TKSL/C Simulation System, In: Proceedings of the 35th Spring International Conference Modelling and Simulation of Systems, Ostrava, CZ, MARQ, 2001, p. 55-58, ISBN 80-85988-57-7 |
| | Marek Vladimír, Č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í, CZ, MARQ, 2001, p. 145-152, ISBN 80-85988-57-7 |
| | Martinek David, Peringer Petr: Graphical Fuzzy Sets Editor, In: Proceedings of 23rd International Autumn Colloquium ASIS 2001, Ostrava, CZ, MARQ, 2001, p. 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, CZ, FEI VUT, 2001, p. 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, CZ, VUT v Brně, 2001, p. 304-306, ISBN 80-214-1859-1 |
| | Řezáč David, Pustějovský Rostislav: Tuhé systémy a víceslovní aritmetika, In: Proceedings of 7th Conference STUDENT FEI 2001, Brno, CZ, FEI VUT, 2001, p. 310-312, ISBN 80-214-1859-1 |
| | Vojnar Tomáš: Towards Formal Analysis and Verification over State Spaces of Object-Oriented Petri Nets, Brno, CZ, 2001, p. 148 |
| | Zbořil František, Zbořil František ml.: The Role of Agents in Simulation Models, In: Proceedings of XXIIIrd International Autumn Colloquium ASIS 2001, Ostrava, CZ, MARQ, 2001, p. 111-116, ISBN 80-85988-61-5 |
|
|
Faculty of Information Technology
![[dnssec]](/common/img/dnssec.png)