Publikace

• 2023

  VÍDEŇSKÝ, F.; ZBOŘIL, F.; KOČÍ, R.; ZBOŘIL, F. Operational Semantic of an AgentSpeak(L) Interpreter using Late Bindings. In Proceedings of the 15th International Conference on Agents and Artificial Intelligence, Volume 1. Lisabon: SciTePress - Science and Technology Publications, 2023. s. 173-180. ISBN: 978-989-758-623-1.
  Detail | WWW | Plný text v Digitální knihovně

  KOČÍ, R.; JANOUŠEK, V. Prerequisites for Simulation-Based Software Design and Deployment. ICSEA 2023 The Eighteenth International Conference on Software Engineering Advances. Porto: Xpert Publishing Services, 2023. s. 105-109. ISBN: 978-1-68558-098-8.
  Detail | WWW

• 2022

  ZBOŘIL, F.; VÍDEŇSKÝ, F.; KOČÍ, R.; ZBOŘIL, F. Late Bindings in AgentSpeak(L). In Proceedings of the 14th International Conference on Agents and Artificial Intelligence vol. 3. Lisabon: SciTePress - Science and Technology Publications, 2022. s. 715-724. ISBN: 978-989-758-547-0.
  Detail

  KOČÍ, R.; OSADSKÝ, L. On the Applicability of ALF Language in Real Software Projects. ICSEA 2022, The Seventeenth International Conference on Software Engineering Advances. Lisbon: Xpert Publishing Services, 2022. s. 102-107. ISBN: 978-1-61208-997-3.
  Detail

• 2021

  JANOUŠEK, V.; KOČÍ, R. On the Model Continuity in Control Systems Design Using DEVS, UML, and IEC 61499. ICSEA 2021, The Sixteenth International Conference on Software Engineering Advances. Barcelona: Xpert Publishing Services, 2021. s. 114-120. ISBN: 978-1-61208-894-5.
  Detail | WWW

  ZBOŘIL, F.; ZBOŘIL, F.; KOČÍ, R.; VÍDEŇSKÝ, F. FRAg: Flexibly Reasoning BDI Agent. Autonomous Agents and Multi-Agent Systems, 2021, s. 0-0. ISSN: 1573-7454.
  Detail

• 2020

  KOČÍ, R.; ROZMAN, J.; ZBOŘIL, F. Database Concept for Transcription of Registry Records into Digital Form. In Proceedings of the 3rd International Conference on Software Engineering and Information Management - ICSIM'20. Sydney: Association for Computing Machinery, 2020. s. 21-25. ISBN: 978-1-4503-7690-7.
  Detail | WWW

  KOČÍ, R. Requirements Validation Through Scenario Generation and Comparison. The Fifteenth International Conference on Software Engineering Advances, ICSEA 2020. Porto: Xpert Publishing Services, 2020. s. 129-134. ISBN: 978-1-61208-827-3.
  Detail | WWW

• 2019

  KOČÍ, R.; JANOUŠEK, V. Incorporating Petri Nets into DEVS Formalism for Precise System Modeling. ICSEA 2019, The Fourteenth International Conference on Software Engineering Advances. Valencia: Xpert Publishing Services, 2019. s. 184-189. ISBN: 978-1-61208-752-8.
  Detail | WWW

  KOČÍ, R.; JANOUŠEK, V. Possibilities of the Reverse Run of Software Systems Modeled by Petri Nets. International Journal on Advances in Software, 2019, roč. 12, č. 3, s. 191-200. ISSN: 1942-2628.
  Detail | WWW

  ZBOŘIL, F.; ROZMAN, J.; KOČÍ, R. Algorithmic creation of genealogical models. In Proceedings of ISDA 2018. Advances in Intelligent Systems and Computing. Advances in Intelligent Systems and Computing. Los Alamitos: Springer International Publishing, 2019. s. 650-658. ISBN: 978-3-030-16659-5. ISSN: 2194-5357.
  Detail

• 2018

  ROZMAN, J.; ZBOŘIL, F.; KOČÍ, R. Possibilities of Creation of Community Genealogical Database with Semantic Information. In ICSIM2018: 2018 International Conference on Software Engineering and Information Management. Casablanca: 2018. s. 87-91. ISBN: 978-1-4503-5438-7.
  Detail | WWW

  KOČÍ, R.; JANOUŠEK, V. Tracing and Reversing the Run of Software Systems Implemented by Petri Nets. In Software Engineering Advances. Nice: Xpert Publishing Services, 2018. s. 122-127. ISBN: 978-1-61208-668-2.
  Detail | WWW

• 2017

  KOČÍ, R.; JANOUŠEK, V. Validation of Specification Models Based on Petri Nets. Software Engineering Advances. Ateny: Xpert Publishing Services, 2017. s. 232-237. ISBN: 978-1-61208-590-6.
  Detail | WWW

  KOČÍ, R.; JANOUŠEK, V. Specification of Requirements Using Unified Modeling Language and Petri Nets. International Journal on Advances in Software, 2017, roč. 10, č. 12, s. 121-131. ISSN: 1942-2628.
  Detail

• 2016

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

• 2015

  KOČÍ, R.; JANOUŠEK, V. The Object Oriented Petri Net Component Model. The Tenth International Conference on Software Engineering Advances. Barcelona: Xpert Publishing Services, 2015. s. 18-24. ISBN: 978-1-61208-438-1.
  Detail | WWW

  FIALA, J.; KOČÍ, R. Computer as Therapy in role of alternative and augmentative communication. Proceedings of 4th International Conference on Advanced in Computing and Emerging E-Learning Technology. Singapore: 2015. s. 34-42.
  Detail | WWW

  RICHTA, T.; JANOUŠEK, V.; KOČÍ, R. Dynamic Software Architecture for Distributed Embedded Control Systems. In PNSE 2015 Petri Nets and Software Engineering. CEUR Workshop Proceedings. CEUR Workshop Proceedings. Bruxelles: CEUR-WS.org, 2015. s. 133-150. ISSN: 1613-0073.
  Detail | WWW

• 2014

  KOČÍ, R.; JANOUŠEK, V. Formal Models in Software Development and Deployment: A Case Study. International Journal on Advances in Software, 2014, roč. 7, č. 1, s. 266-276. ISSN: 1942-2628.
  Detail | WWW

  FIALA, J.; KOČÍ, R. Počítačová terapie jako koncept nové formy terapie pro osoby s mentálním postižením: teorie i praxe. Journal of Technology and Information Education. Univerzita Palackého v Olomouci AM, 2014, roč. 6, č. 1, s. 89-103. ISSN: 1803-537X.
  Detail | WWW

  KOČÍ, R.; JANOUŠEK, V. System Composition Using Petri Nets and DEVS Formalisms. The Ninth International Conference on Software Engineering Advances. Nice: Xpert Publishing Services, 2014. s. 309-315. ISBN: 978-1-61208-367-4.
  Detail | WWW

• 2013

  RICHTA, T.; JANOUŠEK, V.; KOČÍ, R. Petri Nets-Based Development of Dynamically Reconfigurable Embedded Systems. CEUR Workshop Proceedings, 2013, roč. 2013, č. 989, s. 203-217. ISSN: 1613-0073.
  Detail

  KOČÍ, R.; JANOUŠEK, V. Object Oriented Petri Nets in Software Development and Deployment. ICSEA 2013, The Eighth International Conference on Software Engineering Advances. Venice: Xpert Publishing Services, 2013. s. 485-490. ISBN: 978-1-61208-304-9.
  Detail | WWW

• 2012

  KOČÍ, R.; JANOUŠEK, V. Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study. CEUR Workshop Proceedings, 2012, roč. 851, č. 06, s. 253-266. ISSN: 1613-0073.
  Detail | WWW

  ŽÁK, J.; HORÁČEK, J.; ZBOŘIL, F.; KOČÍ, R.; KRÁL, J. JADE Agents Used for Wireless Sensors Control: System Based on Services. Proceedings of the 2012 12th International Conference on Intelligent Systems Design and Applications (ISDA). Kochi (Cochin): Institute of Electrical and Electronics Engineers, 2012. s. 252-257. ISBN: 978-1-4673-5118-8.
  Detail

  RICHTA, T.; JANOUŠEK, V.; KOČÍ, R. Code Generation For Petri Nets-Specified Reconfigurable Distributed Control Systems. Proceedings of 15th International Conference on Mechatronics - Mechatronika 2012. Praha: Faculty of Electrical Engineering, Czech Technical University, 2012. s. 263-269. ISBN: 978-80-01-04985-3.
  Detail

  KOČÍ, R.; JANOUŠEK, V. Specification of UML Classes by Object Oriented Petri Nets. ICSEA 2012, The Seventh International Conference on Software Engineering Advances. Lisbon: Xpert Publishing Services, 2012. s. 361-366. ISBN: 978-1-61208-230-1.
  Detail | WWW

• 2011

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

  HANÁČEK, P.; HRUBÝ, M.; KOČÍ, R.; ZBOŘIL, F. Audiovizuální technika ve výuce. Sborník informatika 2011. Brno: Mendelova univerzita v Brně, 2011. s. 31-32. ISBN: 978-80-7375-520-1.
  Detail

  ŽÁK, J.; HORÁČEK, J.; ZBOŘIL, F.; KOČÍ, R.; GÁBOR, M. Remote controling and monitoring tool for wireless sensor network using WSageNt platform. Proceeding of the 2nd International Conference on Computer Modelling and Simulation. Brno: Department of Intelligent Systems FIT BUT, 2011. s. 1-8. ISBN: 978-80-214-4320-4.
  Detail

  KOČÍ, R.; JANOUŠEK, V. On the Simulation-Based Development of Systems Using Petri Nets. 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. s. 1-2. ISBN: 978-84-693-9560-8.
  Detail

• 2010

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

  KOČÍ, R.; JANOUŠEK, V.; ZBOŘIL, F. Object Oriented Petri Nets - Modelling Techniques Case Study. International Journal of Simulation Systems, Science & Technology, 2010, roč. 10, č. 3, s. 32-44. ISSN: 1473-8031.
  Detail

  ZBOŘIL, F.; HANÁČEK, P.; HRUBÝ, M.; KOČÍ, R. Zapojení studentů do výzkumu. Informatika 2010. Brno: Mendelova univerzita v Brně, 2010. s. 139-140. ISBN: 978-80-7375-394-8.
  Detail

  ŽÁK, J.; ZBOŘIL, F.; KOČÍ, R.; JANOUŠEK, V. Connecting Jade with PN agent. Proceedings of Seventh EUROSIM Congress on Modelling and Simulation. Vol. 2. Prague: Czech Technical University Publishing House, 2010. s. 97-105. ISBN: 978-80-01-04589-3.
  Detail | WWW

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

• 2009

  KOČÍ, R.; JANOUŠEK, V. Towards Simulation-Based Design of the Software Systems. The Fourth International Conference on Software Engineering Advances. Los Alamitos: IEEE Computer Society, 2009. s. 452-457. ISBN: 978-1-4244-4779-4.
  Detail

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

  ZBOŘIL, F.; JANOUŠEK, V.; KOČÍ, R.; MAZAL, Z.; ZBOŘIL, F. Framework for model-based design of mullti-agent systems. International Journal of Autonomic Computing, 2009, roč. 1, č. 2, s. 140-162. ISSN: 1741-8569.
  Detail

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

  MAZAL, Z.; KOČÍ, R.; JANOUŠEK, V.; ZBOŘIL, F. Modelling intelligent agents for autonomic computing in the PNagent framework. International Journal of Autonomic Computing, 2009, roč. 1, č. 2, s. 121-139. ISSN: 1741-8569.
  Detail

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

• 2008

  KOČÍ, R.; JANOUŠEK, V.; ZBOŘIL, F. Object Oriented Petri Nets -- Modelling Techniques Case Study. Second UKSIM European Symposium on Computer Modeling and Simulation. Liverpool: IEEE Computer Society, 2008. s. 165-170. ISBN: 978-0-7695-3325-4.
  Detail

  KOČÍ, R.; JANOUŠEK, V. System Design with Object Oriented Petri Nets Formalism. The Third International Conference on Software Engineering Advances Proceedings ICSEA 2008. Los Alamitos: IEEE Computer Society, 2008. s. 421-426. ISBN: 978-0-7695-3372-8.
  Detail

  ZBOŘIL, F.; KOČÍ, R.; ZBOŘIL, F.; JANOUŠEK, V.; MAZAL, Z. T-Mass v.2, State of the Art. Second UKSIM European Symposium on Computer Modeling and Simulation. Liverpool: IEEE Computer Society, 2008. s. 1-6. ISBN: 978-0-7695-3325-4.
  Detail

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

  JANOUŠEK, V.; KOČÍ, R.; MAZAL, Z.; ZBOŘIL, F. PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets. Proceedings of 8th ISDA. Los Alamitos: IEEE Computer Society, 2008. s. 420-425. ISBN: 978-0-7695-3382-7.
  Detail

  MAZAL, Z.; JANOUŠEK, V.; KOČÍ, R. Enhancing the PNtalk Language with Negative Predicates. MOSIS '08. Ostrava: 2008. s. 28-34. ISBN: 978-80-86840-40-6.
  Detail

  ZBOŘIL, F.; KOČÍ, R.; JANOUŠEK, V.; MAZAL, Z. Reactive Planning with Weak Plan Instances. Proceedings of 8th ISDA. Los Alamitos: IEEE Computer Society, 2008. s. 643-648. ISBN: 978-0-7695-3382-7.
  Detail

• 2007

  KOČÍ, R.; MAZAL, Z.; ZBOŘIL, F.; JANOUŠEK, V. Modeling Deliberative Agents Using Object Oriented Petri Nets. In Proceedings of the 7th ISDA. Los Alamitos: IEEE Computer Society, 2007. s. 15-20. ISBN: 0-7695-2976- 3.
  Detail

  ZBOŘIL, F.; KOČÍ, R. Intention Structures Modelling Using Object Oriented Petri Nets. In Proceedings of the 7th ISDA. Los Alamitos: IEEE Computer Society, 2007. s. 33-38. ISBN: 0-7695-2976- 3.
  Detail

  JANOUŠEK, V.; KOČÍ, R. 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. s. 1-9. ISBN: 978-3-901608-32- 2.
  Detail

  JANOUŠEK, V.; KOČÍ, R. 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. s. 386-395. ISBN: 978-83-7493-339- 1.
  Detail

  JANOUŠEK, V.; KOČÍ, R.; ZBOŘIL, F. Towards Modeling Rational Agents with Object Oriented Petri Nets. In Proceedings of the Workshop on Petri Nets and Software Engineering. Siedlce: 2007. s. 244-245. ISBN: 978-83-7051-427- 3.
  Detail

• 2006

  KOČÍ, R.; TURAKHODJAEVA, N. Modeling Workflow Using Object Oriented Petri Nets. In Proceedings of ASIS' 06. Ostrava: 2006. s. 127-132. ISBN: 8086840263.
  Detail

  ČEŠKA, M.; JANOUŠEK, V.; KOČÍ, R.; KŘENA, B.; VOJNAR, T. PNtalk: State of the Art. In Proceedings of the Fourth International Workshop on Modelling of Objects, Components, and Agents. Hamburg: 2006. s. 301-307.
  Detail

  KOČÍ, R.; VINTERA, J. Modelování a simulace termického zpracování odpadu. In Proceedings of ASIS' 06. Ostrava: MARQ, 2006. s. 133-136. ISBN: 8086840263.
  Detail

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

• 2005

  KOČÍ, R., TURAKHODJAEVA, N. Workflow modeling with Petri nets in Workflow Management Systems. In Proceedings of MOSIS' 05. Ostrava: 2005. s. 120-127. ISBN: 80-86840-10- 7.
  Detail

  JANOUŠEK, V., KOČÍ, R. 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. s. 59-66. ISBN: 80-8070-468- 6.
  Detail

  RÁBOVÁ, Z., HRUBÝ, M., KOČÍ, R. The Heterogeneous Modelling Methods and Tools. In Simulation Almanac 2005. Praha: Faculty of Electrical Engineering, 2005. s. 40-50. ISBN: 8001033228.
  Detail

  JANOUŠEK, V., KOČÍ, R. PNtalk Project: Current Research Direction. In Simulation Almanac 2005. Praha: Faculty of Electrical Engineering, 2005. s. 50-62. ISBN: 8001033228.
  Detail

• 2004

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

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

  JANOUŠEK, V., KOČÍ, R. 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. s. 31-36. ISBN: 3-901608-28- 1.
  Detail

  KOČÍ, R. Metody a nástroje pro implementaci otevřených simulačních systémů. Brno: 2004.
  Detail | WWW

• 2003

  KOČÍ, R., RÁBOVÁ, Z. Purposes of the PNtalk System. In Proceedings of International Conference MOSIS ' 03. Ostrava: 2003. s. 149-156. ISBN: 80-85988-86- 0.
  Detail | WWW

  HRUBÝ, M., KOČÍ, R. Modern Simulation Techniques and Tools. In Proceedings of the International Workshop MOSMIC' 2003. Žilina: Fakulta riadenia a informatiky Žilinskej Univerzity v Žiline, 2003. s. 7-15. ISBN: 80-8070-139- 3.
  Detail

  JANOUŠEK, V., KOČÍ, R. PNtalk: Concurrent Language with MOP. In Proceedings of the CS&P' 2003 Workshop. Warsawa: Warsaw University, 2003. s. 271-282. ISBN: 83-88374-71- 0.
  Detail

  KOČÍ, R. The Open Architecture of the PNtalk System. In Proceedings of the International Conference and Competition - Student EECIT 2003. Brno: Faculty of Electrical Engineering and Communication BUT, 2003. s. 358-362. ISBN: 80-214-2401- X.
  Detail

• 2002

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

  HRUBÝ, M., KOČÍ, R., PERINGER, P., RÁBOVÁ, Z. Tools for Creating of Multimodels. Kybernetes: The International Journal of Systems Cybernetics, 2002, roč. 2002, č. 9, s. 1391-1400. ISSN: 0368- 492X.
  Detail

  JANOUŠEK, V., KOČÍ, R. PNtalk - An Open System for Prototyping and Simulation. In Proceedings of The 28th ASU Conference. ASU Newsletter. Brno: Faculty of Information Technology BUT, 2002. s. 133-146. ISSN: 1102- 593X.
  Detail | WWW

• 2001

  KOČÍ, R. Prospects of the PNtalk system in the Smalltalk environment. In Proceedings of 7th Conference Student FEI 2001. Brno: Brno University of Technology, 2001. s. 338-342. ISBN: 80-214-1860- 5.
  Detail

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

  KOČÍ, R., VOJNAR, T. 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. s. 165-172. ISBN: 80-85988-57- 7.
  Detail | WWW

*) Citace publikací se generují jednou za 24 hodin.