Faculty of Information Technology, BUT

System Modelling and Optimization Research Group

Publications

  • 2018

    KOČÍ Radek. Souhrnná výzkumná zpráva k projektu Nástroj pro tvorbu schémat technologických procesů v oblasti čistíren odpadních vod. Brno: KUNST, spol. s r.o., 2018.
    Detail

  • 2017

    KOČÍ Radek and JANOUŠEK Vladimír. Specification of Requirements Using Unified Modeling Language and Petri Nets. International Journal on Advances in Software, vol. 10, no. 12, pp. 121-131. ISSN 1942-2628.
    Detail

    KOČÍ Radek and JANOUŠEK Vladimír. Validation of Specification Models Based on Petri Nets. In: Software Engineering Advances. Ateny: Xpert Publishing Services, 2017, pp. 232-237. ISBN 978-1-61208-590-6.
    Detail

  • 2016

    KOČÍ Radek and JANOUŠEK Vladimír. Modeling System Requirements Using Use Cases and Petri Nets. In: ThinkMind ICSEA 2016, The Eleventh International Conference on Software Engineering Advances. Řím: Xpert Publishing Services, 2016, pp. 160-165. ISBN 978-1-61208-498-5.
    Detail

  • 2014

    KOČÍ Radek and JANOUŠEK Vladimír. Formal Models in Software Development and Deployment: A Case Study. International Journal on Advances in Software, vol. 7, no. 1, pp. 266-276. ISSN 1942-2628.
    Detail

  • 2013

    JANOUŠEK Vladimír and RICHTA Tomáš. Operating System for Petri Nets-Specified Reconfigurable Embedded Systems. In: Proceedings of the 14th Computer Aided Systems Theory. Las Palmas de Grand Canaria: The Universidad de Las Palmas de Gran Canaria, 2013, pp. 248-249. ISBN 978-84-695-6971-9.
    Detail

  • 2012

    KOČÍ Radek and JANOUŠEK Vladimír. Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study. CEUR Workshop Proceedings, vol. 851, no. 06, pp. 253-266. ISSN 1613-0073.
    Detail

    RICHTA Tomáš, JANOUŠEK Vladimír and KOČÍ Radek. Code Generation For Petri Nets-Specified Reconfigurable Distributed Control Systems. In: Proceedings of 15th International Conference on Mechatronics - Mechatronika 2012. Praha: Faculty of Electrical Engineering, Czech Technical University, 2012, pp. 263-269. ISBN 978-80-01-04985-3.
    Detail

  • 2011

    KOČÍ Radek and JANOUŠEK Vladimír. On the Simulation-Based Development of Systems Using Petri Nets. In: Proceedings of the 13th International Conference on Computer Aided Systems Theory. Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2011, pp. 1-2. ISBN 978-84-693-9560-8.
    Detail

    ČAMBALA Petr, HRUBÝ Martin and TOUFAR Jan. Czech power system market and operation modeling with hourly time resolution. In: Proceedings of the 6th International Scientific Symposium on Electrical Power Engineering ELEKTROENERGETIKA 2011. Tatry: VŠB-Technical University of Ostrava, 2011, p. 4. ISBN 978-80-553-0724-4.
    Detail

    KOČÍ Radek and JANOUŠEK Vladimír. Towards Design Method Based on Formalisms of Petri Nets, DEVS, and UML. In: ICSEA 2011, The Sixth International Conference on Software Engineering Advances. Barcelona: Xpert Publishing Services, 2011, pp. 299-304. ISBN 978-1-61208-165-6.
    Detail

    HRUBÝ Martin. Designing a New Raster Sub-System for GRASS-7. Geoinformatics FCE CTU, vol. 6, no. 1, pp. 11-30. ISSN 1802-2669.
    Detail

    JANOUŠEK Vladimír. Simulace a návrh vyvíjejících se systémů. Brno: Faculty of Information Technology BUT, 2011. ISBN 978-80-214-4414-0.
    Detail

  • 2010

    HRUBÝ Martin, ČAMBALA Petr and TOUFAR Jan. Game-Theoretic Modeling of Electricity Markets in Central Europe. AUCO Czech Economic Review, vol. 4, no. 1, pp. 32-61. ISSN 1802-4696.
    Detail

    KOČÍ Radek, JANOUŠEK Vladimír and ZBOŘIL František. Object Oriented Petri Nets - Modelling Techniques Case Study. International Journal of Simulation Systems, Science & Technology, vol. 10, no. 3, pp. 32-44. ISSN 1473-8031.
    Detail

    KOČÍ Radek and JANOUŠEK Vladimír. OOPN and DEVS Formalisms for System Specification and Analysis. In: The Fifth International Conference on Software Engineering Advances. Los Alamitos: IEEE Computer Society, 2010, pp. 305-310. ISBN 978-0-7695-4144-0.
    Detail

    KOČÍ Radek, ZBOŘIL František and ŽÁK Jakub. Integrating Multiple Modeling and Development Tools for Realization of Distributed Intelligent System. In: Proceedings of the 10th International Conference on Intelligent Systems Design and Applications. Cairo: IEEE Computer Society, 2010, pp. 658-663. ISBN 978-1-4244-8135-4.
    Detail

    ČAMBALA Petr, HRUBÝ Martin and TOUFAR Jan. Central European Region As an Electricity Market Modeling Context in Czech Republic. In: Proceedings of the 11th International Scientific Conference EPE 2010. Brno: Brno University of Technology, 2010, pp. 65-70. ISBN 978-80-214-4094-4.
    Detail

  • 2009

    KOČÍ Radek and JANOUŠEK Vladimír. Simulation Based Design of Control Systems using DEVS and Petri Nets. In: Computer Aided Systems Theory. Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2009, pp. 291-292. ISBN 978-84-691-8502-5.
    Detail

    HÝSEK Jiří, ČEŠKA Milan and JANOUŠEK Vladimír. Model-Based Design and Verification of Reactive Systems. In: Computer Aided Systems Theory. Las Palmas de Gran Canaria, 2009, pp. 295-296. ISBN 978-84-691-8502-5.
    Detail

    BARTOŇ Radek and HRUBÝ Martin. GAL Framework - Current State of the Project. Geoinformatics FCE CTU, vol. 2008, no. 3, pp. 5-13. ISSN 1802-2669.
    Detail

    MARTINEK David. Optimisations of Fuzzy Systems Simulation. In: Proceedings of 43rd Spring International Conference MOSIS'09 Modelling and Simulation of Systems. Ostrava, 2009, pp. 9-12. ISBN 978-80-86840-45-1.
    Detail

    MAZAL Zdeněk, KOČÍ Radek, JANOUŠEK Vladimír and ZBOŘIL František. Modelling intelligent agents for autonomic computing in the PNagent framework. International Journal of Autonomic Computing, vol. 1, no. 2, pp. 121-139. ISSN 1741-8569.
    Detail

    JANOUŠEK Vladimír and KIRONSKÝ Elöd. Interactive evolutionary modelling and simulation of discrete-event systems using prototypical objects. International Journal of Autonomic Computing, vol. 1, no. 2, pp. 104-120. ISSN 1741-8569.
    Detail

    KOČÍ Radek and JANOUŠEK Vladimír. On the Dynamic Features of PNtalk. In: International Workshop on Petri Nets and Software Engineering 2009. Paříž: University of Pierre and Marie Curie, 2009, pp. 189-206.
    Detail

    JANOUŠEK Vladimír and KVĚTOŇOVÁ Šárka. On the Multilevel Petri Nets-Based Models in Project Engineering. In: International Workshop on Petri Nets and Software Engineering 2009. Paříž: University of Pierre and Marie Curie, 2009, pp. 173-188.
    Detail

    KOČÍ Radek and JANOUŠEK Vladimír. Towards Simulation-Based Design of the Software Systems. In: The Fourth International Conference on Software Engineering Advances. Los Alamitos: IEEE Computer Society, 2009, pp. 452-457. ISBN 978-1-4244-4779-4.
    Detail

    ČEŠKA Milan, HÝSEK Jiří and JANOUŠEK Vladimír. Model-Based Design and Verification of Reactive Systems. Lecture Notes in Computer Science, vol. 2009, no. 5717, pp. 865-872. ISBN 978-3-642-04771-8. ISSN 0302-9743.
    Detail

    KOČÍ Radek and JANOUŠEK Vladimír. Simulation Based Design of Control Systems Using DEVS and Petri Nets. In: Computer Aided Systems Theory - EUROCAST 2009. Lecture Notes in Computer Science, Volume 5717. Berlin: Springer Verlag, 2009, pp. 849-856. ISBN 978-3-642-04771-8.
    Detail

    MARTINEK David. Heterogenní modelování a simulace systémů na diskrétních počítačích. Šedesát let kybernetiky. Brno: Akademické nakladatelství CERM, 2009, pp. 152-158. ISBN 978-80-7204-662-1.
    Detail

    RICHTA Tomáš and HRUBÝ Martin. Dynamic Object-Oriented Geospatial Modeling. Geoinformatics FCE CTU, vol. 4, no. 1, pp. 29-45. ISSN 1802-2669.
    Detail

  • 2008

    MAZAL Zdeněk, JANOUŠEK Vladimír and KOČÍ Radek. Enhancing the PNtalk Language with Negative Predicates. In: MOSIS '08. Ostrava, 2008, pp. 28-34. ISBN 978-80-86840-40-6.
    Detail

    HRUBÝ Martin and ČAMBALA Petr. Efficient Computing of Correlated Equilibria in Multi-Player Games. In: Proceedings of 12th IASTED Conference on Artificial Intelligence and Soft Computing. Calgery: ACTA Press, 2008, pp. 185-191. ISBN 978-0-88986-755-0.
    Detail

    JANOUŠEK Vladimír and KIRONSKÝ Elöd. Reflective Framework for Interactive Modeling and Simulation of Intelligent Systems. In: Proceedings of Nineteenth International Conference on Systems Engineering 19-21 August 2008 Las Vegas, Nevada. Los Alamitos: IEEE Computer Society, 2008, pp. 480-485. ISBN 978-0-7695-3331-5.
    Detail

    PERINGER Petr. New Calendar Implementation for SIMLIB/C++. In: Proceedings of ASIS 2008. Ostrava, 2008, pp. 166-169. ISBN 978-80-86840-42-0.
    Detail

    JANOUŠEK Vladimír and KVĚTOŇOVÁ Šárka. Object Oriented Petri Nets Usage in Project Portfolio Modeling Domain. In: Proceedings of 22th European Simulation and Modelling Conference ESM'2008. France: EUROSIS, 2008, pp. 1-7. ISBN 978-90-77381-44-1.
    Detail

    KVĚTOŇOVÁ Šárka and JANOUŠEK Vladimír. Využití OOPN v oblasti modelování projektového portfolia. In: Proceedings of of Advanced Simulation of Systems 2008 - ASIS´08. Ostrava, 2008, pp. 174-179. ISBN 978-80-86840-42-0.
    Detail

    KOČÍ Radek, JANOUŠEK Vladimír and ZBOŘIL František. Object Oriented Petri Nets -- Modelling Techniques Case Study. In: Second UKSIM European Symposium on Computer Modeling and Simulation. Liverpool: IEEE Computer Society, 2008, pp. 165-170. ISBN 978-0-7695-3325-4.
    Detail

    JANOUŠEK Vladimír and KOČÍ Radek. The PNtalk/SmallDEVS Framework -- Meta-level Modeling Techniques. In: Proceedings of CSE 2008 International Scientific Conference on Computer Science and Engineering. Košice: elfa, s.r.o., TU Kosice, 2008, pp. 16-23. ISBN 978-80-8086-092-9.
    Detail

    MARTINEK David. Uncertainty in Simulation Models. In: Proceedings of 30th Autumn International Colloquium ASIS 2008. Ostrava, 2008, pp. 170-173. ISBN 978-80-86840-42-0.
    Detail

    KOČÍ Radek and JANOUŠEK Vladimír. System Design with Object Oriented Petri Nets Formalism. In: The Third International Conference on Software Engineering Advances Proceedings ICSEA 2008. Los Alamitos: IEEE Computer Society, 2008, pp. 421-426. ISBN 978-0-7695-3372-8.
    Detail

    JANOUŠEK Vladimír, KOČÍ Radek, MAZAL Zdeněk and ZBOŘIL František. PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets. In: Proceedings of 8th ISDA. Los Alamitos: IEEE Computer Society, 2008, pp. 420-425. ISBN 978-0-7695-3382-7.
    Detail

    JANOUŠEK Vladimír. Modelování objektů Petriho sítěmi. Brno: Faculty of Information Technology BUT, 2008. ISBN 978-80-214-3749-4.
    Detail

    HRUBÝ Martin. Algorithmic Approaches to Game-theoretical Modeling and Simulation. AUCO Czech Economic Review, vol. 2, no. 3, pp. 268-300. ISSN 1802-4696.
    Detail

    POLÁŠEK Petr and JANOUŠEK Vladimír. Modeling and Simulation Management in Distributed Environment Using Web Services. In: Proceedings of the 14th International Congress of Cybernetics and Systems of WOCS. Wroclaw: Wroclaw University of Technology, 2008, p. 9. ISBN 978-83-7493-400-8.
    Detail

  • 2007

    HRUBÝ Martin and BEDNÁŘ Jakub. Automated Optimization of Models Based on Game Theory. In: Proceedings of International Symposium on Innovations in Intelligent Systems and Applications. Istanbul: IEEE Turkey, 2007, pp. 134-138.
    Detail

    JANOUŠEK Vladimír, KOČÍ Radek and ZBOŘIL František. Towards Modeling Rational Agents with Object Oriented Petri Nets. In: Proceedings of the Workshop on Petri Nets and Software Engineering. Siedlce, 2007, pp. 244-245. ISBN 978-83-7051-427-3.
    Detail

    JANOUŠEK Vladimír and KOČÍ Radek. Embedding Object-Oriented Petri Nets into a DEVS-based Simulation Framework. In: Proceedings of the 16th International Conference on System Science. volume 1. Wroclaw: Wroclaw University of Technology, 2007, pp. 386-395. ISBN 978-83-7493-339-1.
    Detail

    JANOUŠEK Vladimír and KOČÍ Radek. Simulation and Design of Systems with Object Oriented Petri Nets. In: Proceedings of the 6th EUROSIM Congress on Modelling and Simulation. Ljubljana: ARGE Simulation News, 2007, p. 9. ISBN 978-3-901608-32-2.
    Detail

    HRUBÝ Martin. Modelling the Structured and Complex Decision Situations. In: Proceedings of the 6th EUROSIM Congress on Modelling and Simulation. Ljubljana, 2007, p. 10. ISBN 978-3-901608-32-2.
    Detail

    PERINGER Petr. Porting SIMLIB/C++ to 64-bit Platform. In: Proceedings of XXIXth International Autumn Colloquium ASIS 2007. Ostrava, 2007, pp. 155-160. ISBN 978-80-86840-34-5.
    Detail

    JANOUŠEK Vladimír, KIRONSKÝ Elöd and POLÁŠEK Petr. An Architecture for Simulation-Based Evolutionary Design of Systems. In: Proceedings of the 16th International Conference on System Science. Systems Science 2007, volume 1. Wroclaw: Wroclaw University of Technology, 2007, pp. 396-405. ISBN 978-83-7493-339-1.
    Detail

    MARTINEK David. Utilization of Systematic Approach to Uncertainty. In: Proceedings of XXIXth International Autumn Colloquium ASIS 2007 Advanced Simulation of Systems. Ostrava, 2007, pp. 161-166. ISBN 978-80-86840-34-5.
    Detail

    BARTOŇ Radek and HRUBÝ Martin. GAL Framework. Geoinformatics FCE CTU, vol. 2007, no. 2, pp. 33-41. ISSN 1802-2669.
    Detail

  • 2006

    ZBOŘIL František and ZBOŘIL František V. Meta-interpretation of the t-Sapi Language. In: Proceedings of the Sevnth International Scientific Conference ECI 2006. Košice: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2006, pp. 76-81. ISBN 80-8073-150-0.
    Detail

    HRUBÝ Martin and TOUFAR Jan. Modelling the Electricity Markets using Mathematical Game Theory. In: Proceedings of the 15th IASTED International Conference on APPLIED SIMULATION AND MODELLING. Calgery: ACTA Press, 2006, pp. 352-357. ISSN 1021-8181.
    Detail

    RÁBOVÁ Zdeňka, HANÁČEK Petr and HRUBÝ Martin. Prostředí pro modelování bezpečných systémů. In: Proceedings of NETSS06. Ostrava, 2006, pp. 39-42. ISBN 80-86840-06-9.
    Detail

    JANOUŠEK Vladimír, POLÁŠEK Petr and SLAVÍČEK Pavel. Metajazyk pro popis DEVS formalismu. In: NETSS 2006. Ostrava, 2006, pp. 43-48. ISBN 80-86840-06-9.
    Detail

    JANOUŠEK Vladimír and KIRONSKÝ Elöd. SmallDEVS, an Interactive Modeling and Simulation Tool for Smalltalk. In: Proc. of MOSIS'06. Ostrava, 2006, pp. 91-98. ISBN 80-86840-21-2.
    Detail

    JANOUŠEK Vladimír, POLÁŠEK Petr and SLAVÍČEK Pavel. Towards DEVS Meta Language. In: ISC 2006 Proceedings. Zwijnaarde, 2006, pp. 69-73. ISBN 90-77381-26-0.
    Detail

    MARTINEK David. A Tree Representation of Fuzzy Inference Rules. In: Proceedings of 40th Spring International Conference MOSIS'06. Přerov, 2006, p. 6. ISBN 80-86840-21-2.
    Detail

    HRUBÝ Martin. Výuka GIS na FIT VUT v Brně. In: Proceedings of Geoinformatics CTU 2006. Praha: Czech Technical University Publishing House, 2006, pp. 10-15. ISSN 1802-2669.
    Detail

    JANOUŠEK Vladimír and KOČÍ Radek. Formální modely a simulace ve vývoji softwarových systémů. In: Proceedings of ASIS'06. Ostrava, 2006, pp. 164-169. ISBN 8086840263.
    Detail

    MARTINEK David. Uncertainty in Modelling and Simulation of Waste Incinerators. In: Proceedings of XXVIIIth International Autumn Colloquium ASIS 2006 Advanced Simulation of Systems. Ostrava, 2006, pp. 117-120. ISBN 80-86840-26-3.
    Detail

    HRUBÝ Martin. Using the HELEF Language to Model the Strategic Games. In: Proceedings of XXVIIIth International Autumn Colloquium ASIS 2006: Advanced Simulation of Systems. Ostrava, 2006, pp. 121-126. ISBN 80-86840-26-3.
    Detail

    JANOUŠEK Vladimír and KIRONSKÝ Elöd. Exploratory Modeling with SmallDEVS. In: Proc. of ESM 2006. Ghent: EUROSIS, 2006, pp. 122-126. ISBN 90-77381-30-9.
    Detail

    PERINGER Petr. Open Source Simulation and Data Analysis Tools. In: Proceedings of ASIS 2006. Ostrava, 2006, pp. 109-112. ISBN 80-86840-26-3.
    Detail

    HRUBÝ Martin, ČAMBALA Petr and TOUFAR Jan. Modelování spolupráce elektrizačních soustav v evropském regionu. Energetika, vol. 2006, no. 11, pp. 343-346. ISSN 0375-8842.
    Detail

  • 2005

    ČEŠKA Milan, KŘENA Bohuslav and VOJNAR Tomáš. Parallel State Space Generation and Exploration on Shared-Memory Architectures. In: EUROCAST2005: Cast and Tools for Robotics, Vehicular and Communication Systems. Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2005, pp. 161-164. ISBN 84-689-0432-5.
    Detail

    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.
    Detail

    SCHWARZ Ivan, ČEŠKA Milan and JANOUŠEK Vladimír. Towards an Implementation of Distributed PNtalk. In: Proceedings of 39th Spring International Conference MOSIS'05 Modelling and Simulation of Systems. Ostrava, 2005, pp. 166-173. ISBN 80-86840-10-7.
    Detail

    MARTINEK David. Modelling of a Waste Incinerator. In: Proceedings of XXVII International Autumn Colloquium ASIS 2005 Advanced Simulation of Systems. Ostrava, 2005, pp. 62-67. ISBN 80-86840-16-6.
    Detail

    HANÁČEK Petr, PERINGER Petr and RÁBOVÁ Zdeňka. Získávání vstupních dat pro modely bezpečnosti. In: Proceedings of ASIS 2005. Ostrava, 2005, pp. 68-73. ISBN 80-86840-16-6.
    Detail

    HRUBÝ 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.
    Detail

    HRUBÝ Martin. WEB Interface for GRASS Geographic Information System. In: Proceedings of XXVIIth Internation Autumn Colloquium ASIS 2005. Ostrava, 2005, pp. 103-108. ISBN 80-86840-16-6.
    Detail

    JANOUŠEK Vladimír and KOČÍ Radek. Towards Model-Based Design with PNtalk. In: Proceedings of the International Workshop MOSMIC'2005. Žilina: Faculty of management science and Informatics of Zilina University, 2005, pp. 59-66. ISBN 80-8070-468-6.
    Detail

    ČEŠKA Milan, KŘENA Bohuslav and VOJNAR Tomáš. Parallel State Space Generation and Exploration on Shared-Memory Architectures. In: Computer Aided Systems Theory - EUROCAST 2005. Lecture Notes in Computer Science, vol. 3643. Berlin: Springer Verlag, 2005, pp. 275-280. ISBN 978-3-540-29002-5.
    Detail

    HRUBÝ Martin and TOUFAR Jan. Nové postupy v modelování trhu s elektřinou a podpůrnými službami v ES ČR. Energetika, vol. 2005, no. 11, pp. 356-358. ISSN 0375-8842.
    Detail

    MARTINEK David, PAVLAS Martin and BÉBAR Ladislav. Simulace jednotek pro termické zpracování odpadů jako dynamických systémů. In: 52. konference chemického a procesního inženýrství CHISA 2005, CD-Rom V3.44. Srní, 2005, p. 14.
    Detail

  • 2004

    MARTINEK David. Nedělejte zbytečné chyby!. Brno, 2004.
    Detail

    HRUBÝ Martin, PERINGER Petr and RÁBOVÁ Zdeňka. Modelling of Tamper-Proof Devices. In: Proceedings of 38th International Conference MOSIS'04. Ostrava, 2004, p. 6. ISBN 80-85988-98-4.
    Detail

    KOČÍ Radek. Open Implementation of the Simulation Framework. In: Proceedings of 38th International Conference MOSIS'04. Ostrava, 2004, pp. 73-80. ISBN 80-85988-98-4.
    Detail

    HRUBÝ Martin, JANOUŠEK Vladimír and KOČÍ Radek. Vývoj pokročilých metod modelování a protypování komplikovaných systémů. In: NETSS2004. Ostrava, 2004, pp. 103-108. ISBN 80-85988-92-5.
    Detail

    MARTINEK David. General Hierarchical Network. In: Proceedings of 38th International Conference MOSIS '04 Modelling and Simulation of Systems. Ostrava, 2004, pp. 81-86. ISBN 80-85988-98-4.
    Detail

    JANOUŠEK Vladimír and KOČÍ Radek. Towards an Open Implementation of the PNtalk System. In: Proceedings of the 5th EUROSIM Congress on Modeling and Simulation. Proceedings of the 5th Eurosim Congress on Modelling and Simulation. Paris: EUROSIM-FRANCOSIM-ARGESIM, 2004, pp. 31-36. ISBN 3-901608-28-1.
    Detail

    MARTINEK David. Nedělejte zbytečné chyby v jazyce C. Brno, 2004.
    Detail

    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.
    Detail

  • 2003

    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.
    Detail

    ŘEZÁČ David. TKSL/C and Partial Differential Equations. In: Proceedings of the 9th Conference and Competition STUDENT EEICT 2003. Brno: Faculty of Electrical Engineering and Communication BUT, 2003, pp. 645-649. ISBN 80-214-2379-X.
    Detail

    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.
    Detail

    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.
    Detail

    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.
    Detail

    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.
    Detail

    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.
    Detail

    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.
    Detail

    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.
    Detail

    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.
    Detail

    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.
    Detail

    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.
    Detail

    HRUBÝ Martin. A General Heterogeneous Simulation Kernel. In: Proceedings of the International Conference and Competition - Student EECIT 2003. Brno: Faculty of Electrical Engineering and Communication BUT, 2003, pp. 353-357. ISBN 80-214-2401-X.
    Detail

    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.
    Detail

    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.
    Detail

    KŘENA Bohuslav. Object-oriented Petri Nets and their Application and Type Analysis. Information Technologies and Control, vol. 1, no. 1, pp. 27-31. ISSN 1312-2622.
    Detail

    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.
    Detail

    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.
    Detail

  • 2002

    BENJAMIN 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.
    Detail

    MARUŠINEC Jaromír. Bio-Entity simulations. In: Proceedings of the 36th International Conference Modelling and Simulation of Systems - MOSIS 2002. Vol. 1. Ostrava, 2002, p. 6. ISBN 80-85988-71-2.
    Detail

    HRUBÝ Martin and RÁBOVÁ Zdeňka. HELEF: A New Simulation Language. In: Proceedings of International Conference MOSIS '02. Vol. 1. Ostrava, 2002, pp. 39-47. ISBN 80-85988-71-2.
    Detail

    KŘENA Bohuslav. A Case Study: Modelling Alternating Bit Protocol by PNtalk. In: Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems. Vol. I.. Ostrava, 2002, pp. 65-72. ISBN 80-85988-71-2.
    Detail

    KOČÍ Radek and RÁBOVÁ Zdeňka. The PNtalk System and Interoperability. In: Proceedings of International Conference MOSIS '02. Vol. 1. Ostrava, 2002, pp. 73-80. ISBN 80-85988-71-2.
    Detail

    PETŘEK Jiří. Parallel Solution of Systems of Linear Algebraic Equations. In: Proceedings of 8th conference Student EEICT 2002. Volume 3. Brno: Faculty of Electrical Engineering and Communication BUT, 2002, pp. 473-477. ISBN 80-214-2116-9.
    Detail

    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.
    Detail

    HRUBÝ Martin, MEDUNA Alexander and VURM Petr. Model syntaktické analýzy formálních jazyků. In: Proceedings of XXIVth International Autumn Colloquium ASIS 2002. Ostrava, 2002, pp. 109-114. ISBN 80-85988-77-1.
    Detail

    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.
    Detail

    KŘENA Bohuslav, VOJNAR Tomáš and ČEŠKA Milan. Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets. In: Brazilian Petri Net Meeting. Natal, 2002, p. 6.
    Detail

    URBÁŠEK Milan. New Safety Property and Liveness Preserving Morphisms of P/T Systems. Forschungsberichte des Fachbereichs Informatik, vol. 2002, no. 14. ISSN 1436-9915.
    Detail

    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.
    Detail

    URBÁŠEK Milan and PADBERG Julia. Preserving Liveness with Rule-Based Refinement of Place/Transition Systems. In: Proceedings of Sixth World Conference on Integrated Design and Process Technology (IDPT'02). Pasadena, 2002, p. 10.
    Detail

    JANOUŠEK Vladimír and KOČÍ Radek. PNtalk - An Open System for Prototyping and Simulation. In: Proceedings of The 28th ASU Conference. Brno: Faculty of Information Technology BUT, 2002, pp. 133-146. ISSN 1102-593X.
    Detail

    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.
    Detail

    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.
    Detail

    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.
    Detail

    HRUBÝ Martin, KOČÍ Radek, PERINGER Petr and RÁBOVÁ Zdeňka. Tools for Creating of Multimodels. Kybernetes: The International Journal of Systems & Cybernetics, vol. 2002, no. 9, pp. 1391-1400. ISSN 0368-492X.
    Detail

    ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets. Kybernetes: The International Journal of Systems & Cybernetics, vol. 2002, no. 9, pp. 1289-1299. ISSN 0368-492X.
    Detail

    SCHWARZ Ivan. Architecture of Distributed Simulator of PNtalk. In: Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems. Vol. I.. Ostrava, 2002, pp. 81-88. ISBN 80-85988-71-2.
    Detail

    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.
    Detail

    ČEŠKA Milan. Teoretická informatika. Učební texty pro předměty FJP a TI, obor IT. Brno: Faculty of Information Technology BUT, 2002.
    Detail

  • 2001

    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.
    Detail

    JANOUŠEK Vladimír and SCHWARZ Ivan. Interoperability of Object Oriented Petri Nets. In: Proc. of MOSIS'01. Ostrava, Czech Republic, 2001, pp. 137-144. ISBN 80-85988-57-7.
    Detail

    KOČÍ Radek and VOJNAR Tomáš. A PNtalk-based Model of a Cooperative Editor. In: Proceedings of the 35th Spring International Conference on Modelling and Simulation of Systems -- MOSIS 2001. Hradec nad Moravicí, Czech Republic, 2001, pp. 165-172. ISBN 80-85988-57-7.
    Detail

    GAJEWSKY Maike, PADBERG Julia and URBÁŠEK Milan. Rule-Based Refinement for Place/Transition Systems: Preserving Liveness-Properties. Forschungsberichte des Fachbereichs Informatik, vol. 2001, no. 8. ISSN 1436-9915.
    Detail

    ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Analysis and Verification Queries over Object-Oriented Petri Nets. In: Formal Methods and Tools for Computer Science, Eurocast 2001, Extended Abstracts. Las Palmas de Gran Canaria, Canary Islands, Spain: University of Las Palmas, 2001, pp. 115-118. ISBN 84-699-3971-8.
    Detail

    ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Analysis and Verification Queries over Object-Oriented Petri Nets. Lecture Notes in Computer Science, vol. 2001, no. 2178, pp. 365-384. ISSN 0302-9743.
    Detail

    ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Generating and Using State Spaces of Object-Oriented Petri Nets. International Journal of Computer Systems Science and Engineering, vol. 16, no. 3, pp. 183-193. ISSN 0267-6192.
    Detail

    KOČÍ Radek. The PNtalk System - a Technique for Object Oriented Modelling. In: Proceedings of XXIIIrd International Autumn Colloquium. Ostrava, 2001, pp. 151-158. ISBN 80-85988-61-5.
    Detail

    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.
    Detail

    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.
    Detail

    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.
    Detail

    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.
    Detail

    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.
    Detail

    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.
    Detail

    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.
    Detail

    Ř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.
    Detail

    ANTOŠ 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.
    Detail

    GÜTTNER Jakub. Voxel Model Creation Using Wavelet-based Stereoanalysis. Brno: Grantová agentura AV ČR, 2001.
    Detail

    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.
    Detail

    Č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.
    Detail

    Č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.
    Detail

  • 2000

    HANÁČEK Petr, PERINGER Petr and RÁBOVÁ Zdeňka. Knowledge-Based Approach to Risk Analysis Modelling. In: Proceedings of JCKBSE 2000. Brno: unknown, 2000, pp. 25-30. ISBN 1-58603-060-4.
    Detail

    MARUŠINEC Jaromír. Data Structures For Virtual Reality. In: Proceedings of the 34th International Conference Modelling and Simulation of Systems - MOSIS 2000. Rožnov pod Radhoštěm, 2000, pp. 39-44. ISBN 80-85988-44-5.
    Detail

    RÁBOVÁ Zdeňka, JANOUŠEK Vladimír, PERINGER Petr and VOJNAR Tomáš. An Environment for Building Heterogeneous Models. In: Proceedings of MOSIS 2000. Rožnov, 2000, pp. 89-94. ISBN 80-85988-44-5.
    Detail

    PERINGER Petr. Tools for Simulation Model Optimization. In: Proceedings of 22nd International Autumn Workshop ASIS 2000. Sv. Hostýn, 2000, pp. 195-198. ISBN 80-85988-51-8.
    Detail

    HRUBÝ Martin and RÁBOVÁ Zdeňka. Language for Modelling of Parallel Systems. In: Proceedings of ASIS2000. Ostrava, 2000, pp. 229-234. ISBN 80-85988-51-8.
    Detail

    ČEŠKA Milan and URBÁŠEK Milan. Reasoning about Categories of Petri Nets. In: Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Workshop - Joint Workshop on Formal Specifications of Computer-Based Systems. Edinburgh, Scotland: University of Stirling, 2000, pp. 67-70. ISBN 1-85-769121-0.
    Detail

    URBÁŠEK Milan. Categories in Modelling. In: Proceedings of the 34th International Conference Modelling and Simulation of Systems - MOSIS 2000. Rožnov pod Radhoštěm, 2000, pp. 21-28. ISBN 80-85988-44-5.
    Detail

    ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. Lecture Notes in Computer Science, vol. 2000, no. 1798, pp. 90-104. ISSN 0302-9743.
    Detail

    ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Generating and Exploiting State Spaces of Object-Oriented Petri Nets. In: Proceedings of Workshop on Software Engineering and Petri Nets, 21st International Conference on Application and Theory of Petri Nets 2000. Aarhus: unknown, 2000, pp. 35-54. ISSN 0105-8517.
    Detail

    ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. PNtalk Modelling Experience. In: Proceedings of 26th ASU Conference, Object Oriented Modelling and Simulation 2000. La Valetta: unknown, 2000, pp. 65-73.
    Detail

    MARTINEK David. Příklady heterogenních modelů. In: Sborník prací studentů a doktorandů FEI VUT. Brno: Akademické nakladatelství CERM, 2000, pp. 198-200. ISBN 80-7204-155-X.
    Detail

    PETŘEK Jiří. Analýza činnosti procesoru pro numerickou integraci. In: Proceedings of 6th Student Conference STC FEI VUT Brno. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2000, pp. 222-224. ISBN 80-7204-155-X.
    Detail

  • 1999

    ČEŠKA Milan. Cybernetics and Concepts of Formal Language Theory. In: Wiener's Cybernetics-50 years of evolution. Las Palmas de Gran Canaria: unknown, 1999, pp. 57-59. ISBN 84-8416-950-2.
    Detail

    ČEŠKA Milan, JEŽEK Karel, MELICHAR Bořivoj and RICHTA Karel. Konstrukce překladačů. Praha: Czech Technical University, 1999. ISBN 80-01-02028-2.
    Detail

    RÁBOVÁ Zdeňka. Studentské projekty na oboru Výpočetní technika a informatika FEI VUT. In: Studnice: unknown, 1999, pp. 85-88. ISBN 80-85615-79-1.
    Detail

    HANÁČEK Petr, HANZAL Martin and RÁBOVÁ Zdeňka. Interaktivní budování modelu aktiv. In: Sborník LŠ Informační systémy a jejich aplikace. Ruprechtov: unknown, 1999, pp. 60-69. ISBN 80-214-1379-2.
    Detail

    HANÁČEK Petr and RÁBOVÁ Zdeňka. Interactive Tools for Creation of Assets Model. In: ASIS 1999. Krnov, 1999, pp. 213-219. ISBN -80-85988-41-0.
    Detail

    MARUŠINEC Jaromír and RÁBOVÁ Zdeňka. Transport Simulation in Virtual Reality. In: Proceedings of the MOSMIC'99 international workshop. Súlov, 1999, pp. 77-82. ISBN 80-7100-635-1.
    Detail

    JANOUŠEK Vladimír. Synchronous Interactions of Objects in Object Oriented Petri Nets. In: Proc. of MOSIS'99. Ostrava, Czech Republic, 1999, pp. 73-80. ISBN 80-85988-32-1.
    Detail

    MARUŠINEC Jaromír. Natural virtual reality. In: Proceedings of the MOSIS'99. Rožnov pod Radhoštěm, 1999, pp. 45-50. ISBN 80-85988-32-1.
    Detail

    MARUŠINEC Jaromír. Artificial life models in virtual reality. In: Proceedings of the ASIS '99 international workshop. Krnov, 1999, pp. 57-62. ISBN ISBN 80-85988-41.
    Detail

    MARUŠINEC Jaromír. Umělý život ve virtuální realitě. Sborník prací studentu a doktorandu. Brno: Faculty of Electrical Engineering and Computer Science BUT, 1999, pp. 83-84. ISBN 80-214-1155-4.
    Detail

    RÁBOVÁ Zdeňka and SLEZÁK Miroslav. Notes on Modelling Human Activity in Heterogeneous Systems. In: Proceedings of MOSIS'99. Roznov, 1999, pp. 173-178. ISBN 80-85988-32-1.
    Detail

    SCHWARZ Josef and PERINGER Petr. Simulation Model of the Traffic Light Crossing with Fuzzy Control. In: Proceedings of MOSIS'99. Rožnov, 1999, pp. 99-106. ISBN 80-85988-33-X.
    Detail

    PERINGER Petr. Design and Implementation of Fuzzy Extension to SIMLIB/C++. In: Proceedings of ASIS'99. Krnov, 1999, pp. 209-212. ISBN 80-85988-41-0.
    Detail

    ČEŠKA Milan and URBÁŠEK Milan. Categorical approach to Petri nets transformations. In: Proceedings of the 33rd Spring International Conference MOSIS'99. Rožnov pod Radhoštěm, CZ, 1999, pp. 133-140. ISBN 80-85988-32-1.
    Detail

    URBÁŠEK Milan. Categories of Petri nets: a bisimulation approach. Sborník prací studentů a doktorandů FEI VUT. Brno: unknown, 1999, pp. 109-110. ISBN 80-214-1155-4.
    Detail

    ČEŠKA Milan and URBÁŠEK Milan. Modelling and Simulation of Parallel Systems Using CCS and Petri Nets: Major Concepts. In: Proceedings of XXIst International Colloquium ASIS 1999. Krnov, Czech Republic, 1999, pp. 371-377. ISBN 80-85988-41-0.
    Detail

    URBÁŠEK Milan. Bisimulation relations in categories of A-labelled Petri nets and the connection of CCS and Petri nets. Huddersfield, Great Britain: unknown, 1999.
    Detail

    ČEŠKA Milan. Petriho sítě ve výuce oboru Informatika a výpočetní technika FEI VUT v Brně. In: Proceedings of XXIst International Colloquium ASIS 1999. Krnov, 1999, pp. 143-146. ISBN 80-85988-41-0.
    Detail

    VOJNAR Tomáš. Towards Using State Spaces of Object-Oriented Petri Nets. In: Proceedings of 33rd Spring International Conference on Modelling and Simulation of Systems MOSIS'99. Rožnov pod Radhoštěm, 1999, pp. 141-148. ISBN 80-85988-32-1.
    Detail

    VOJNAR Tomáš. Specifying Properties of Systems To Be Checked Using Their Object-Oriented Petri Net-Based Models. In: Proceedings of 21st International Workshop on Advanced Simulation of Systems ASIS'99. Krnov, 1999, pp. 219-224. ISBN 80-85988-41-0.
    Detail

    VOJNAR Tomáš. The First Steps Towards Using State Spaces of Object-Oriented Petri Nets. In: Proceedings of International Workshop on Control and Information Technology - IWCIT'99. Ostrava: unknown, 1999, pp. 165-170. ISBN 80-7078-679-5.
    Detail

    Č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.
    Detail

    ONDRÁČEK Tomáš and ZBOŘIL František. Identification of Time Coefficients of Systems using Neural Network. In: Proceedings of the MOSIS'99. Rožnov pod Radhoštěm, 1999, pp. 93-98. ISBN 80-85988-33-X.
    Detail

    ONDRÁČEK Tomáš and ZBOŘIL František. An Identification of Transfer Function Coefficients of Systems with Time Delay Using a Neural Network. In: Proceedings of the ASIS'99. Krnov, 1999, pp. 203-208. ISBN 80-85988-41-0.
    Detail

    ZBOŘIL František. Identifikace systému neuronovou sítí. In: MOSMIC'99. Súľov: unknown, 1999, pp. 165-170. ISBN 80-7100-635-1.
    Detail

  • 1998

    BENEŠ Miroslav. Using JavaBeans Technology for Discrete Simulation. In: ASIS 1998. Krnov, 1998, pp. 9-14. ISBN 80-85988-27-5.
    Detail

    BUMBÁLEK Jaromír and RÁBOVÁ Zdeňka. A System for Approximating Stochastic Data. In: Proceedings of Conference MOSIS '98. Bystřice pod Hostýnem, 1998, pp. 269-272. ISBN 80-85988-23-2.
    Detail

    ČEŠKA Milan. Petri nets in Information systems modelling. In: Proc. of 32st International Conference MOSIS'98. Sv. Hostýn, 1998, pp. 59-66. ISBN 80-85988-24-0.
    Detail

    HANÁČEK Petr, KOTYZA Břetislav and RÁBOVÁ Zdeňka. Znalostní model analýzy rizik. In: Sborník letní školy Informační systémy a jejich aplikace 1998. Ruprechtov: unknown, 1998, pp. 213-219. ISBN 80-214-1205-4.
    Detail

    HANÁČEK Petr and RÁBOVÁ Zdeňka. Knowledge-Based Simulation in Risk Analysis. In: Proceedings of ASIS 1998. Krnov, 1998, pp. 79-84. ISBN 80-85988-26-7.
    Detail

    JANOUŠEK Vladimír and VOJNAR Tomáš. State Spaces of Object-Oriented Petri Nets. In: Proceedings of MFCS'98 Workshop on Concurrency. Brno: unknown, 1998, pp. 87-96.
    Detail

    MARUŠINEC Jaromír. Visualisation for simulation in virtual reality. In: Proceedings of International Conference MOSIS'98. Bystřice pod Hostýnem, 1998, pp. 77-81. ISBN 80-85988-24-0.
    Detail

    MARUŠINEC Jaromír. Řešení viditelnosti metodou konvexních podprostorů. Sborník prací studentů a doktorandů. Brno: Faculty of Electrical Engineering and Computer Science BUT, 1998, pp. 51-52. ISBN 80-214-1141-4.
    Detail

    PERINGER Petr. Models of Delay in SIMLIB/C++. In: Proceedings of ASIS'98. Krnov, Czech Republic, 1998, pp. 51-54. ISBN 80-85988-27-5.
    Detail

    PERINGER Petr and RÁBOVÁ Zdeňka. Heterogeneous Models. In: Proceedings of ECI'98. Herlany: Slovak Academy of Science, 1998, pp. 187-190. ISBN 80-88786-94-0.
    Detail

    SCHWARZ Josef. Fuzzy trafic light controller. In: Proceedings of MOSIS'98. Bystřice pod Hostýnem, 1998, pp. 67-73. ISBN 80-85988-25-9.
    Detail

    SCHWARZ Josef. Case study: Genetic object designer. In: ASIS 1998. Krnov, 1998, pp. 109-114. ISBN 80-85988-26-7.
    Detail

    ČEŠKA Milan and URBÁŠEK Milan. Extension of the PESIM Simulation Tool. In: Proceedings of XX-th Workshop ASIS '98. Krnov, 1998, pp. 81-86. ISBN 80-85988-27-5.
    Detail

    URBÁŠEK Milan. Net Reduction and the Analysis of Petri Nets. Sborník prací studentů a doktorandů FEI VUT. Brno: Faculty of Electrical Engineering and Computer Science BUT, 1998, pp. 63-64. ISBN 80-214-1141-4.
    Detail

    JANOUŠEK Vladimír and VOJNAR Tomáš. Modelling a Flexible Manufacturing System. In: Proceedings of 32nd Spring International Conference on Modelling and Simulation of Systems MOSIS'98. Sv. Hostýn, 1998, pp. 195-200. ISBN 80-85988-23-2.
    Detail

    ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Object-Oriented Petri Nets, Their Simulation, and Analysis. In: Proceedings of the IEEE SMC'98 Conference. San Diego, California: unknown, 1998, pp. 256-261. ISBN 0-7803-4781-1. ISSN 1062-922X.
    Detail

    VOJNAR Tomáš. An Overview of Some Automated Tools for Formal Analysis and Verification. In: Proceedings of 20th International Workshop on Advanced Simulation of Systems ASIS'98. Krnov, 1998, pp. 223-228. ISBN 80-85988-26-7.
    Detail

    ZBOŘIL František. Analysis of Neural Networks Applications in Heterogeneous Models. In: Proceedings of the ASIS'98. Krnov, 1998, pp. 21-26. ISBN 80-85988-26-7.
    Detail

  • 1997

    BUMBÁLEK Jaromír. Practical Usage of VRT's. In: Proceedings of Conference MOSIS '97. Hradec nad Moravicí, 1997, pp. 166-171. ISBN 80-85988-16-X.
    Detail

    ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. PNtalk - A Computerized Tool for Object Oriented Petri Nets Modelling. In: Proceedings of the 5th International Conference on Computer Aided Systems Theory and Technology -- EUROCAST'97. Las Palmas de Gran Canaria: unknown, 1997, pp. 229-231. ISBN 84-88912-04-8.
    Detail

    ČEŠKA Milan and JANOUŠEK Vladimír. Formal Model for Object Oriented Petri Nets Modelling. Advances in System Science and Applications, vol. Spetial Issue, no. 1-6, pp. 119-124. ISSN 1078-6236.
    Detail

    ČEŠKA Milan. Some Comments on Application of Theory of Formal Languages in System Science. In: Proc. of 31st International Conference MOSIS'97. Ostrava, 1997, pp. 98-103. ISBN 80-85988-16-X.
    Detail

    ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. PNtalk - A Computerized Tool for Object Oriented Petri Nets Modelling. Lecture Notes in Computer Science, vol. 1333, pp. 591-610. ISBN 3-540-63811-3. ISSN 0302-9743.
    Detail

    HANÁČEK Petr and RÁBOVÁ Zdeňka. Risk Analysis Model of Information System. In: Proceedings of Conference MOSIS'97. Hradec nad Moravicí, 1997, pp. 169-174. ISBN 80-85988-16-X.
    Detail

    HANÁČEK Petr and RÁBOVÁ Zdeňka. Processing of Input Data for Risk Analysis. In: Proceedings of Conference ASIS'97. Krnov, 1997, pp. 91-96. ISBN 80-85988-17-8.
    Detail

    HANÁČEK Petr and RÁBOVÁ Zdeňka. Model analýzy rizik informačního systému. In: Sborník konference Informační systémy a jejich aplikace 1997. Ruprechtov: unknown, 1997, pp. 30-34. ISBN 80-214-0894-4.
    Detail

    JANOUŠEK Vladimír. Reflective Approach to Petri Net Simulation. In: Proc. of MOSIS'97. Ostrava, 1997, pp. 209-304. ISBN 80-85988-16-X.
    Detail

    MARUŠINEC Jaromír. Systém pro vizualizaci a interaktivní konstrukci virtuální reality. Sborník prací studentů a doktorandů 1997. Brno: Faculty of Electrical Engineering and Computer Science BUT, 1997, pp. 148-150. ISBN 80-214-0637-2.
    Detail

    MARUŠINEC Jaromír. Vizualizace a interaktivní konstrukce virtuální reality. In: Brno: Faculty of Electrical Engineering and Computer Science BUT, 1997, p. 10.
    Detail

    MARUŠINEC Jaromír. Systém pro vizualizaci a interaktivní konstrukci. In: Brno: Faculty of Electrical Engineering and Computer Science BUT, 1997, p. 58.
    Detail

    PERINGER Petr. Hierarchical Modelling Based on Communicating Objects. In: Proceedings of Conference MOSIS'97. Hradec nad Moravicí, 1997, pp. 122-127. ISBN 80-85988-16-X.
    Detail

    PERINGER Petr. Tools for continuous Simulation in 3D space. In: Proceedings of ASIS'97. Krnov, Czech Republic, 1997, pp. 327-330. ISBN 80-85988-17-8.
    Detail

    JANOŠ Jaroslav, PERINGER Petr and RÁBOVÁ Zdeňka. Simulační podpora návrhu informačních systémů. 1997.
    Detail

    PŘIKRYL Petr. Beauty -- The Language for parallel programming. In: Proceedings of WORKSHOP 97, part I. Prague: unknown, 1997, pp. 185-186.
    Detail

    PŘIKRYL Petr. Parallel Simulation using Communicating Objects. In: Proceedings of MOSIS'97, Vol.1. Hradec nad Moravicí, 1997, pp. 239-245. ISBN 80-85988-16-X.
    Detail

    PŘIKRYL Petr. Parallel implementation of a simulation system. In: Proceedings of ASIS '97. Krnov, 1997, pp. 353-358. ISBN 80-85988-20-8.
    Detail

    SCHWARZ Josef. Experimental study on parallel genetic algorithm for placement optimalization. In: Mendel '97. Brno: Faculty of Mechanical Engineering BUT, 1997, pp. 148-153. ISBN 80-214-0884-7.
    Detail

    VOJNAR Tomáš. Hierarchical and Time Extensions of Pure Object Oriented Petri Nets. In: Proceedings of 19th International Workshop on Advanced Simulation of Systems ASIS'97. Krnov, 1997, pp. 321-326. ISBN 80-85988-20-8.
    Detail

    VOJNAR Tomáš. Various Kinds of Petri Nets in Simulation and Modelling. In: Proceedings of 31st Spring International Conference on Modelling and Simulation of Systems MOSIS'97. Hradec nad Moravicí, 1997, pp. 227-232. ISBN 80-85988-16-X.
    Detail

  • 1996

    BUMBÁLEK Jaromír and RÁBOVÁ Zdeňka. Optimization in Simulation Experiments. In: Proceedings of Conference MOSIS '96. Krnov, 1996, pp. 193-198.
    Detail

    JANOUŠEK Vladimír, ŠMÍD Luděk and VOJNAR Tomáš. PNtalk - systém pro objektově orientované modelování Petriho sítěmi. In: Proceedings of 18th International Workshop on Advanced Simulation of Systems ASS'96. Zábřeh na Moravě, 1996, pp. 247-252. ISBN 80-85988-10-0.
    Detail

    PERINGER Petr and RÁBOVÁ Zdeňka. Prostředí pro modelování informačních systémů. In: Proceedings of Conference ASIS'96. Zábřeh na Moravě, 1996, pp. 241-246. ISBN 80-85988-10-0.
    Detail

    PERINGER Petr. Methods of Simulation Systems Testing. In: Proceedings of MOSIS'96. Krnov, 1996, pp. 175-180. ISBN 80-85988-02-X.
    Detail

    JANOŠ Jaroslav, PERINGER Petr and RÁBOVÁ Zdeňka. Simulation Techniques in Information System Design. In: Proceedings of Workshop'96. 1996, pp. 203-204.
    Detail

    PŘIKRYL Petr. PIN -- the Language for Parallel/Distributed Environment. In: Proceedings of MOSIS'96, Vol.1. Krnov, 1996, pp. 187-192. ISBN 80-85988-02-X.
    Detail

    PŘIKRYL Petr. Implementation of a simulation system in the PIN language. In: Proceedings of ASIS'96. Zábřeh na Moravě, 1996, pp. 235-240. ISBN 80-85988-10-0.
    Detail

    ČEŠKA Milan and JANOUŠEK Vladimír. Object Orientation in Petri Nets. ASU Newsletter: a publication of the Association of SIMULA Users., vol. 1996, no. spec.iss, pp. 69-80. ISSN 1102-593X.
    Detail

    SCHWARZ Josef. The FIDE system flexibility in the process of the fuzzy system design. In: Proceedings of MOSIS'96. Krnov, 1996, pp. 82-87. ISBN 80-85988-02-X.
    Detail

    ZBOŘIL František. Hard Disc Drive Head Presure Distribution Problem. In: Proceedings of the MOSIS'96. Krnov, 1996, pp. 159-164. ISBN 80-85988-03-8.
    Detail

    ZBOŘIL František. Rotatory Pump Dynamic Problem. In: Proceedings of the ASS 1996. Zábřeh na Moravě, 1996, pp. 89-94. ISBN 80-85988-10-0.
    Detail

    ZBOŘIL František. Solving Partial Differential Equations. In: Proceedings of the ECI'96. Košice, 1996, pp. 288-293.
    Detail

  • 1995

    JANOUŠEK Vladimír. PNtalk: Object Orientation in Petri nets. In: Proc. of European Simulation Multiconference ESM'95. Prague: unknown, 1995, pp. 196-200.
    Detail

    JANOUŠEK Vladimír. Functional and Object Oriented Structuring of Petri Nets. In: Proceesdings of Computer Science. Ostrava: unknown, 1995, pp. 44-47.
    Detail

    JANOŠ Jaroslav and RÁBOVÁ Zdeňka. Expertní simulátor. In: Proceedings of conference Computer Science. Ostrava, 1995, pp. 77-82. ISBN 80-901751-7-1.
    Detail

    PERINGER Petr. Implementace simulačních abstrakcí. In: Sborník konference Computer Science. Ostrava, 1995, pp. 126-133. ISBN 80-901751-7-1.
    Detail

    PERINGER Petr and RÁBOVÁ Zdeňka. Integrace simulačního modelu do informačního systému. In: Sborník konference Advanced Simulation of Systems. Zábřeh na Moravě, 1995, pp. 103-106. ISBN 80-901751-1-2.
    Detail

    SCHWARZ Josef. Programové prostředky pro fuzzy aplikace. In: Proceedings of Workshop of Advanced Simulation of Systems. Zábřeh na Moravě, 1995, pp. 258-264. ISBN 80-901751-7-1.
    Detail

    SCHWARZ Josef. Simulation based placement algorithm. In: Proceedings of EDS '95 conference. Brno, 1995, pp. 217-228.
    Detail

  • 1994

    ČEŠKA Milan, DRABANT Radek and JANOUŠEK Vladimír. An Integrated Environment for System Specification and Prototyping. In: Proc. of the 12th International Conference on Systems Science. Wroclav: unknown, 1994, pp. 53-60.
    Detail

    PERINGER Petr. Basic Abstractions for Object-Oriented Model Description. In: Proceedings of MOSIS'94. Zábřeh na Moravě, 1994, pp. 274-277. ISBN 80-901229-8-1.
    Detail

    JANOUŠEK Vladimír. Merging Petri Nets and Objects. In: SOFSEM'94. Brno: unknown, 1994, pp. 45-50.
    Detail

  • 1993

    PERINGER Petr. Object-Oriented Description of Continuous Systems. In: Proceedings of 5th International Symposium MOSIS'93. Olomouc, 1993, pp. 83-87.
    Detail

    PERINGER Petr and RÁBOVÁ Zdeňka. An Environment for Effective Implementation of Simulation Models. In: Proceedings of CATE'93. Brno, 1993, pp. 461-464.
    Detail

    SCHWARZ Josef. Algoritmy stochastické a simulované evoluce. In: Sborník kolokvia Vybrané problémy simulačních modelů. Ostrava, 1993, pp. 89-91. ISBN 80-901229-6-5.
    Detail

  • 1992

    PERINGER Petr. Object-Oriented Simulation Library in C++. In: Proceedings of System Science XI. Wroclaw (Poland): unknown, 1992, pp. 121-121. ISBN 83-7085-023-5.
    Detail

Back to top