Publikace

• 2023

  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

• 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

• 2019

  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

  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

• 2018

  RICHTA, T.; JANOUŠEK, V.; NIKDO, N. Tvorba informačních systémů pomocí transformací modelů. ACIIDS 2018. Brno: Faculty of Electrical Engineering, Czech Technical University, 2018. s. 447-452. ISBN: 978-80-214-5543-6.
  Detail

  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

  RICHTA, T.; JANOUŠEK, V. Data-Driven Maritime Processes Management Using Dynamically Reconfigurable Executable Models. In Computer Aided Systems Theory - EUROCAST 2017. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Berlin Heidelberg: Springer Verlag, 2017. s. 134-141. ISBN: 978-3-319-74726-2.
  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

  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

  RICHTA, T.; JANOUŠEK, V.; NIKDO, N. Transformace modelů s použitím XSLT. In DATESO 2017. Praha: Faculty of Electrical Engineering, Czech Technical University, 2017. s. 43-54. ISBN: 978-80-01-06138-1.
  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

  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

  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

• 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

  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

  POLÁŠEK, P.; JANOUŠEK, V.; ČEŠKA, M. Petri Net Simulation as a Service. In CEUR Workshop Proceedings. CEUR Workshop Proceedings. Tunisia: CEUR-WS.org, 2014. s. 353-362. ISSN: 1613-0073.
  Detail | WWW

• 2013

  JANOUŠEK, V.; RICHTA, T. Operating System for Petri Nets-Specified Reconfigurable Embedded Systems. Proceedings of the 14th Computer Aided Systems Theory. Las Palmas de Grand Canaria: The Universidad de Las Palmas de Gran Canaria, 2013. s. 248-249. ISBN: 978-84-695-6971-9.
  Detail

  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

  RICHTA, T.; JANOUŠEK, V. Operating System for Petri Nets-Specified Reconfigurable Embedded Systems. Computer Aided Systems Theory - EUROCAST 2013. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2013. s. 444-451. ISBN: 978-3-642-53855-1.
  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

  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

  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

• 2011

  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

  JANOUŠEK, V. Simulace a návrh vyvíjejících se systémů. Brno: Fakulta informačních technologií VUT v Brně, 2011. 123 s. ISBN: 978-80-214-4414-0.
  Detail

  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

• 2010

  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

  ŽÁ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.; 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

• 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

  KVĚTOŇOVÁ, Š.; JANOUŠEK, V. Object-Oriented Petri Nets-Based Modeling of Resources in Project Engineering. Computer Aided Systems Theory - EUROCAST 2009. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2009. s. 841-848. ISBN: 978-3-642-04771-8.
  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

  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

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

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

  JANOUŠEK, V.; KIRONSKÝ, E. Interactive evolutionary modelling and simulation of discrete-event systems using prototypical objects. International Journal of Autonomic Computing, 2009, roč. 1, č. 2, s. 104-120. 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

  KVĚTOŇOVÁ, Š.; JANOUŠEK, V. Object-Oriented Petri Nets-Based Modeling of Resources in Project Engineering. Computer Aided Systems Theory. Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2009. s. 289-290. ISBN: 978-84-691-8502-5.
  Detail

  HÝSEK, J.; ČEŠKA, M.; JANOUŠEK, V. Model-Based Design and Verification of Reactive Systems. Computer Aided Systems Theory. Las Palmas de Gran Canaria: 2009. s. 295-296. ISBN: 978-84-691-8502-5.
  Detail

  ČEŠKA, M.; HÝSEK, J.; JANOUŠEK, V. Model-Based Design and Verification of Reactive Systems. Lecture Notes in Computer Science, 2009, roč. 2009, č. 5717, s. 865-872. ISSN: 0302-9743.
  Detail

• 2008

  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

  JANOUŠEK, V. Modelování objektů Petriho sítěmi. Brno: Fakulta informačních technologií VUT v Brně, 2008. 164 s. ISBN: 978-80-214-3749-4.
  Detail

  JANOUŠEK, V.; KIRONSKÝ, E. Small Robotic Systems Design Using Interactive Modeling and Simulation. Proceedings of the 14th International Congress of Cybernetics and Systems of WOCS. Wroclaw: Wroclaw University of Technology, 2008. s. 1-9. ISBN: 978-83-7493-400-8.
  Detail

  JANOUŠEK, V.; KIRONSKÝ, E. Reflective Framework for Interactive Modeling and Simulation of Intelligent Systems. Proceedings of Nineteenth International Conference on Systems Engineering 19-21 August 2008 Las Vegas, Nevada. Los Alamitos: IEEE Computer Society, 2008. s. 480-485. ISBN: 978-0-7695-3331-5.
  Detail

  JANOUŠEK, V.; KVĚTOŇOVÁ, Š. Object Oriented Petri Nets Usage in Project Portfolio Modeling Domain. Proceedings of 22th European Simulation and Modelling Conference ESM'2008. France: EUROSIS, 2008. s. 1-7. ISBN: 978-90-77381-44-1.
  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

  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

  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

  POLÁŠEK, P.; JANOUŠEK, V. Modeling and Simulation Management in Distributed Environment Using Web Services. Proceedings of the 14th International Congress of Cybernetics and Systems of WOCS. Wroclaw: Wroclaw University of Technology, 2008. s. 1-9. ISBN: 978-83-7493-400-8.
  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

  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

• 2007

  JANOUŠEK, V.; KIRONSKÝ, E.; POLÁŠEK, P. 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. s. 396-405. ISBN: 978-83-7493-339- 1.
  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

  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

• 2006

  JANOUŠEK, V. On the Prototype- Based Object Orientation in Modeling and Simulation. In Proceedings of of Advanced Simulation of Systems 2006. Ostrava: 2006. s. 1-0. ISBN: 80-86840-26- 3.
  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

  JANOUŠEK, V.; KIRONSKÝ, E. Exploratory Modeling with SmallDEVS. In Proc. of ESM 2006. Ghent: EUROSIS, 2006. s. 122-126. ISBN: 90-77381-30- 9.
  Detail

  JANOUŠEK, V.; KIRONSKÝ, E. SmallDEVS, an Interactive Modeling and Simulation Tool for Smalltalk. In Proc. of MOSIS' 06. Ostrava: 2006. s. 91-98. ISBN: 80-86840-21- 2.
  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

  JANOUŠEK, V.; POLÁŠEK, P.; SLAVÍČEK, P. Towards DEVS Meta Language. In ISC 2006 Proceedings. Zwijnaarde: 2006. s. 69-73. ISBN: 90-77381-26- 0.
  Detail

  JANOUŠEK, V., KIRONSKÝ, E. SmallDEVS-2006-07-18 (1. verze s GUI). Bern: Squeak Foundation, 2006.
  WWW

  JANOUŠEK, V.; POLÁŠEK, P.; SLAVÍČEK, P. Metajazyk pro popis DEVS formalismu. In NETSS 2006. Ostrava: MARQ, 2006. s. 43-48. ISBN: 80-86840-06- 9.
  Detail

• 2005

  JANOUŠEK, V. SmallDEVS-2005-02- 21. Bern: Squeak Foundation, 2005.
  WWW

  JANOUŠEK, V., SLAVÍČEK, P. Concept for the parallel road- traffic simulation. In Proceedings of MOSIS' 05. Ostrava: 2005. s. 123-128. ISBN: 80-86840-10- 7.
  Detail

  SCHWARZ, I., ČEŠKA, M., JANOUŠEK, V. Towards an Implementation of Distributed PNtalk. In Proceedings of 39th Spring International Conference MOSIS' 05 Modelling and Simulation of Systems. Ostrava: 2005. s. 166-173. ISBN: 80-86840-10- 7.
  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

  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

• 2004

  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

  JANOUŠEK, V. SmallDEVS-2004-03- 19. Bern: Squeak Foundation, 2004.
  WWW

• 2003

  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

  JANOUŠEK, V., SLAVÍČEK, P. Heterogenní simulace na bázi DEVS. In Proceedings of XXVth International Autumn Colloquium ASIS 2003. Ostrava: MARQ, 2003. s. 213-218. ISBN: 80-58988-88- 7.
  Detail

• 2002

  JANOUŠEK, V., VOJNAR, T., ČEŠKA, M. Modelling, prototyping, and verifying concurrent and distributed applications using object- oriented Petri nets. Kybernetes: The International Journal of Systems Cybernetics, 2002, roč. 2002, č. 9, s. 1289-1299. 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

  ČEŠKA, M., JANOUŠEK, V., VOJNAR, T. Generating and Using State Spaces of Object- Oriented Petri Nets. International Journal of Computer Systems Science and Engineering, 2001, roč. 16, č. 3, s. 183-193. ISSN: 0267- 6192.
  Detail | WWW

  ČEŠKA, M., JANOUŠEK, V., VOJNAR, T. Analysis and Verification Queries over Object- Oriented Petri Nets. Lecture Notes in Computer Science, 2001, roč. 2001, č. 2178, s. 365-384. ISSN: 0302- 9743.
  Detail | WWW

  ČEŠKA, M., JANOUŠEK, V., VOJNAR, T. 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. s. 115-118. ISBN: 84-699-3971- 8.
  Detail

  JANOUŠEK, V., SCHWARZ, I. Interoperability of Object Oriented Petri Nets. In Proc. of MOSIS' 01. Ostrava, Czech Republic: 2001. s. 137-144. ISBN: 80-85988-57- 7.
  Detail

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