Publications

• 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. p. 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. p. 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, vol. 12, no. 3, p. 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. p. 184-189. ISBN: 978-1-61208-752-8.
  Detail | WWW

• 2018

  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. p. 122-127. ISBN: 978-1-61208-668-2.
  Detail | WWW

  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. p. 447-452. ISBN: 978-80-214-5543-6.
  Detail

• 2017

  KOČÍ, R.; JANOUŠEK, V. Validation of Specification Models Based on Petri Nets. Software Engineering Advances. Ateny: Xpert Publishing Services, 2017. p. 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, vol. 10, no. 12, p. 121-131. ISSN: 1942-2628.
  Detail

  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. p. 134-141. ISBN: 978-3-319-74726-2.
  Detail | WWW

• 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. p. 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. p. 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. p. 18-24. ISBN: 978-1-61208-438-1.
  Detail | WWW

• 2014

  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. p. 353-362. ISSN: 1613-0073.
  Detail | WWW

  KOČÍ, R.; JANOUŠEK, V. Formal Models in Software Development and Deployment: A Case Study. International Journal on Advances in Software, 2014, vol. 7, no. 1, p. 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. p. 309-315. ISBN: 978-1-61208-367-4.
  Detail | WWW

• 2013

  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. p. 444-451. ISBN: 978-3-642-53855-1.
  Detail

  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. p. 248-249. ISBN: 978-84-695-6971-9.
  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. p. 485-490. ISBN: 978-1-61208-304-9.
  Detail | WWW

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

• 2012

  KOČÍ, R.; JANOUŠEK, V. Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study. CEUR Workshop Proceedings, 2012, vol. 851, no. 06, p. 253-266. ISSN: 1613-0073.
  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. p. 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. p. 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. p. 299-304. ISBN: 978-1-61208-165-6.
  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 p. ISBN: 978-80-214-4414-0.
  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. p. 1-2. ISBN: 978-84-693-9560-8.
  Detail

• 2010

  ŽÁ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. p. 97-105. ISBN: 978-80-01-04589-3.
  Detail | WWW

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

  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. p. 305-310. ISBN: 978-0-7695-4144-0.
  Detail

  KVĚTOŇOVÁ, Š.; JANOUŠEK, V. Řízení a optimalizace zdrojů v projektech s využitím formálního aparátu Petriho sítí. In Šedesát let kybernetiky. Brno: Akademické nakladatelství CERM sro., 2010. p. 119-125. ISBN: 978-80-7204-662-1.
  Detail

• 2009

  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, vol. 1, no. 2, p. 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. p. 291-292. ISBN: 978-84-691-8502-5.
  Detail

  JANOUŠEK, V. Simulace a návrh vyvíjejících se systémů. Brno, CZ: Fakulta informačních technologií VUT v Brně, 2009. p. 0-0.
  Detail | WWW

  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. p. 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, vol. 1, no. 2, p. 104-120. ISSN: 1741-8569.
  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, vol. 1, no. 2, p. 140-162. 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. p. 189-206.
  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. p. 841-848. ISBN: 978-3-642-04771-8.
  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. p. 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. p. 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. p. 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, vol. 2009, no. 5717, p. 865-872. ISSN: 0302-9743.
  Detail

  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. p. 452-457. ISBN: 978-1-4244-4779-4.
  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. p. 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 p. 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. p. 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. p. 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. p. 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. p. 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. p. 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. p. 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. p. 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. p. 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. p. 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. p. 421-426. ISBN: 978-0-7695-3372-8.
  Detail

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

• 2007

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

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

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

  JANOUŠEK, V.; KIRONSKÝ, E.; POLÁŠEK, P. An Architecture for Simulation-Based Evolutionary Design of Systems. Proceedings of the 16th International Conference on System Science. Systems Science 2007, volume 1. Wroclaw: Wroclaw University of Technology, 2007. p. 396-405. ISBN: 978-83-7493-339-1.
  Detail

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

• 2006

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

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

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

  JANOUŠEK, V. On the Prototype-Based Object Orientation in Modeling and Simulation. Proceedings of of Advanced Simulation of Systems 2006. Ostrava: 2006. p. 1-6. ISBN: 80-86840-26-3.
  Detail | WWW

  JANOUŠEK, V.; KIRONSKÝ, E. SmallDEVS, an Interactive Modeling and Simulation Tool for Smalltalk. Proc. of MOSIS'06. Ostrava: 2006. p. 91-98. ISBN: 80-86840-21-2.
  Detail

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

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

• 2005

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

  JANOUŠEK, V.; KOČÍ, R. PNtalk Project: Current Research Direction. Simulation Almanac 2005. Praha: Faculty of Electrical Engineering, Czech Technical University, 2005. p. 50-62. ISBN: 80-01-03322-8.
  Detail

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

  SCHWARZ, I.; ČEŠKA, M.; JANOUŠEK, V. Towards an Implementation of Distributed PNtalk. Proceedings of 39th Spring International Conference MOSIS'05 Modelling and Simulation of Systems. Ostrava: 2005. p. 166-173. ISBN: 80-86840-10-7.
  Detail

• 2004

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

  JANOUŠEK, V.; KOČÍ, R. Towards an Open Implementation of the PNtalk System. 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. p. 31-36. ISBN: 3-901608-28-1.
  Detail

• 2003

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

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

• 2002

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

  ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets. Kybernetes: The International Journal of Systems Cybernetics, 2002, vol. 2002, no. 9, p. 1289-1299. ISSN: 0368-492X.
  Detail

• 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, vol. 16, no. 3, p. 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, vol. 2001, no. 2178, p. 365-384. ISSN: 0302-9743.
  Detail | WWW

  ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Analysis and Verification Queries over Object-Oriented Petri Nets. Formal Methods and Tools for Computer Science, Eurocast 2001, Extended Abstracts. Las Palmas de Gran Canaria, Canary Islands, Spain: University of Las Palmas, 2001. p. 115-118. ISBN: 84-699-3971-8.
  Detail

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

• 2000

  ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. PNtalk Modelling Experience. Proceedings of 26th ASU Conference, Object Oriented Modelling and Simulation 2000. La Valetta: unknown, 2000. p. 65-73.
  Detail | WWW

  ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Generating and Exploiting State Spaces of Object-Oriented Petri Nets. Proceedings of Workshop on Software Engineering and Petri Nets, 21st International Conference on Application and Theory of Petri Nets 2000. Aarhus: unknown, 2000. p. 35-54. ISSN: 0105-8517.
  Detail

  RÁBOVÁ, Z.; JANOUŠEK, V.; PERINGER, P.; VOJNAR, T. An Environment for Building Heterogeneous Models. Proceedings of MOSIS 2000. Rožnov: 2000. p. 89-94. ISBN: 80-85988-44-5.
  Detail

  ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. Lecture Notes in Computer Science, 2000, vol. 2000, no. 1798, p. 90-104. ISSN: 0302-9743.
  Detail

• 1999

  ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Towards Verifying Complex Distributed Systems Using Object-Oriented Petri Nets. Proceedings of the 7th International Conference on Computer Aided Systems Theory and Technology -- EUROCAST'99. Vienna: unknown, 1999. p. 229-232.
  Detail

  JANOUŠEK, V. Synchronous Interactions of Objects in Object Oriented Petri Nets. Proc. of MOSIS'99. Ostrava, Czech Republic: 1999. p. 73-80. ISBN: 80-85988-32-1.
  Detail | WWW

• 1998

  JANOUŠEK, V.; VOJNAR, T. State Spaces of Object-Oriented Petri Nets. Proceedings of MFCS'98 Workshop on Concurrency. Brno: unknown, 1998. p. 87-96.
  Detail

  JANOUŠEK, V.; VOJNAR, T. Modelling a Flexible Manufacturing System. Proceedings of 32nd Spring International Conference on Modelling and Simulation of Systems MOSIS'98. Sv. Hostýn: 1998. p. 195-200. ISBN: 80-85988-23-2.
  Detail | WWW

  JANOUŠEK, V. Modelování objektů Petriho sítěmi. Brno: Ústav informatiky a výpočetní techniky FEI VUT, 1998. p. 0-0.
  Detail | WWW

  ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Object-Oriented Petri Nets, Their Simulation, and Analysis. Proceedings of the IEEE SMC'98 Conference. Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics. San Diego, California: unknown, 1998. p. 256-261. ISBN: 0-7803-4781-1. ISSN: 1062-922X.
  Detail

• 1997

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

  ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. PNtalk - A Computerized Tool for Object Oriented Petri Nets Modelling. Proceedings of the 5th International Conference on Computer Aided Systems Theory and Technology -- EUROCAST'97. Las Palmas de Gran Canaria: unknown, 1997. p. 229-231. ISBN: 84-88912-04-8.
  Detail

• 1996

  JANOUŠEK, V.; ŠMÍD, L.; VOJNAR, T. PNtalk - systém pro objektově orientované modelování Petriho sítěmi. Proceedings of 18th International Workshop on Advanced Simulation of Systems ASS'96. Zábřeh na Moravě: MARQ, 1996. p. 247-252. ISBN: 80-85988-10-0.
  Detail

• 1995

  JANOUŠEK, V. Functional and Object Oriented Structuring of Petri Nets. Proceesdings of Computer Science. Ostrava: unknown, 1995. p. 44-47.
  Detail | WWW

  JANOUŠEK, V. PNtalk: Object Orientation in Petri nets. Proc. of European Simulation Multiconference ESM'95. Prague: unknown, 1995. p. 196-200.
  Detail | WWW

• 1994

  JANOUŠEK, V. OOPN:A High-Level Language for Modeling and Simulation. MMOSIS'94. Ostrava: neznámá, 1994. p. 320-325. ISBN: 80-901229-8-1.
  Detail

  ČEŠKA, M.; DRABANT, R.; JANOUŠEK, V. An Integrated Environment for System Specification and Prototyping. Proc. of the 12th International Conference on Systems Science. Wroclav: unknown, 1994. p. 53-60.
  Detail

  JANOUŠEK, V. Merging Petri Nets and Objects. SOFSEM'94. Brno: unknown, 1994. p. 45-50.
  Detail

• 1992

  RÁBOVÁ, Z.; ZENDULKA, J.; ČEŠKA, M.; PERINGER, P.; JANOUŠEK, V. Modelování a simulace. Brno: Vysoké učení technické v Brně, 1992. p. 0-0. ISBN: 80-214-0480-9.
  Detail

*) Publications are generated once a 24 hours.