doc. Ing.

Vladimír Janoušek

Ph.D.

Associate professor

+420 54114 1231
janousek@fit.vut.cz
A303 Office
2191/BUT personal ID

Publications

  • 2023

    KOČÍ Radek and JANOUŠEK Vladimír. Prerequisites for Simulation-Based Software Design and Deployment. In: ICSEA 2023 The Eighteenth International Conference on Software Engineering Advances. Porto: Xpert Publishing Services, 2023, pp. 105-109. ISBN 978-1-68558-098-8.
    Detail

  • 2021

    JANOUŠEK Vladimír and KOČÍ Radek. On the Model Continuity in Control Systems Design Using DEVS, UML, and IEC 61499. In: ICSEA 2021, The Sixteenth International Conference on Software Engineering Advances. Barcelona: Xpert Publishing Services, 2021, pp. 114-120. ISBN 978-1-61208-894-5.
    Detail

  • 2019

    KOČÍ Radek and JANOUŠEK Vladimír. Incorporating Petri Nets into DEVS Formalism for Precise System Modeling. In: ICSEA 2019, The Fourteenth International Conference on Software Engineering Advances. Valencia: Xpert Publishing Services, 2019, pp. 184-189. ISBN 978-1-61208-752-8.
    Detail

    KOČÍ Radek and JANOUŠEK Vladimír. Possibilities of the Reverse Run of Software Systems Modeled by Petri Nets. International Journal on Advances in Software, vol. 12, no. 3, 2019, pp. 191-200. ISSN 1942-2628.
    Detail

  • 2018

    RICHTA Tomáš, JANOUŠEK Vladimír et al. Domain Specific Modelling for Reconfigurable Distributed Embedded Control Systems. In: ACIIDS 2018. Brno: Faculty of Electrical Engineering, Czech Technical University, 2018, pp. 447-452. ISBN 978-80-214-5543-6.
    Detail

    KOČÍ Radek and JANOUŠEK Vladimír. Tracing and Reversing the Run of Software Systems Implemented by Petri Nets. In: Software Engineering Advances. Nice: Xpert Publishing Services, 2018, pp. 122-127. ISBN 978-1-61208-668-2.
    Detail

  • 2017

    RICHTA Tomáš and JANOUŠEK Vladimír. 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, pp. 134-141. ISBN 978-3-319-74726-2.
    Detail

    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, 2017, 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

  • 2015

    RICHTA Tomáš, JANOUŠEK Vladimír and KOČÍ Radek. Dynamic Software Architecture for Distributed Embedded Control Systems. In: PNSE 2015 Petri Nets and Software Engineering. CEUR Workshop Proceedings, vol. 1372. Bruxelles: CEUR-WS.org, 2015, pp. 133-150. ISSN 1613-0073.
    Detail

    KOČÍ Radek and JANOUŠEK Vladimír. The Object Oriented Petri Net Component Model. In: The Tenth International Conference on Software Engineering Advances. Barcelona: Xpert Publishing Services, 2015, pp. 18-24. ISBN 978-1-61208-438-1.
    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, 2014, pp. 266-276. ISSN 1942-2628.
    Detail

    POLÁŠEK Petr, JANOUŠEK Vladimír and ČEŠKA Milan. Petri Net Simulation as a Service. In: CEUR Workshop Proceedings. Tunisia: CEUR-WS.org, 2014, pp. 353-362. ISSN 1613-0073.
    Detail

    KOČÍ Radek and JANOUŠEK Vladimír. System Composition Using Petri Nets and DEVS Formalisms. In: The Ninth International Conference on Software Engineering Advances. Nice: Xpert Publishing Services, 2014, pp. 309-315. ISBN 978-1-61208-367-4.
    Detail

  • 2013

    KOČÍ Radek and JANOUŠEK Vladimír. Object Oriented Petri Nets in Software Development and Deployment. In: ICSEA 2013, The Eighth International Conference on Software Engineering Advances. Venice: Xpert Publishing Services, 2013, pp. 485-490. ISBN 978-1-61208-304-9.
    Detail

    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

    RICHTA Tomáš and JANOUŠEK Vladimír. Operating System for Petri Nets-Specified Reconfigurable Embedded Systems. In: Computer Aided Systems Theory - EUROCAST 2013. Lecture Notes in Computer Science, vol. 8111. Berlin Heidelberg: Springer Verlag, 2013, pp. 444-451. ISBN 978-3-642-53855-1.
    Detail

    RICHTA Tomáš, JANOUŠEK Vladimír and KOČÍ Radek. Petri Nets-Based Development of Dynamically Reconfigurable Embedded Systems. CEUR Workshop Proceedings, vol. 2013, no. 989, pp. 203-217. ISSN 1613-0073.
    Detail

  • 2012

    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

    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, 2012, pp. 253-266. ISSN 1613-0073.
    Detail

    KOČÍ Radek and JANOUŠEK Vladimír. Specification of UML Classes by Object Oriented Petri Nets. In: ICSEA 2012, The Seventh International Conference on Software Engineering Advances. Lisbon: Xpert Publishing Services, 2012, pp. 361-366. ISBN 978-1-61208-230-1.
    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

    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

    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

  • 2010

    ŽÁK Jakub, ZBOŘIL František, KOČÍ Radek and JANOUŠEK Vladimír. Connecting Jade with PN agent. In: Proceedings of Seventh EUROSIM Congress on Modelling and Simulation. Vol. 2. Prague: Czech Technical University Publishing House, 2010, p. 9. ISBN 978-80-01-04589-3.
    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, 2010, 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

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

  • 2009

    ZBOŘIL František, JANOUŠEK Vladimír, KOČÍ Radek, MAZAL Zdeněk and ZBOŘIL František V. Framework for model-based design of mullti-agent systems. International Journal of Autonomic Computing, vol. 1, no. 2, 2009, pp. 140-162. 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, 2009, pp. 104-120. ISSN 1741-8569.
    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

    Č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

    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, 2009, pp. 121-139. ISSN 1741-8569.
    Detail

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

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

    JANOUŠEK Vladimír. Simulace a návrh vyvíjejících se systémů. Brno, CZ: Faculty of Information Technology BUT, 2009.
    Detail

    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

    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

    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

  • 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

    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

    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

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

    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

    ZBOŘIL František, KOČÍ Radek, JANOUŠEK Vladimír and MAZAL Zdeněk. Reactive Planning with Weak Plan Instances. In: Proceedings of 8th ISDA. Los Alamitos: IEEE Computer Society, 2008, p. 6. ISBN 978-0-7695-3382-7.
    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

    JANOUŠEK Vladimír and KIRONSKÝ Elöd. Small Robotic Systems Design Using Interactive Modeling and Simulation. 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

    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

    ZBOŘIL František, KOČÍ Radek, ZBOŘIL František V., JANOUŠEK Vladimír and MAZAL Zdeněk. T-Mass v.2, State of the Art. In: Second UKSIM European Symposium on Computer Modeling and Simulation. Liverpool: IEEE Computer Society, 2008, p. 6. 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

    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

  • 2007

    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

    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

    KOČÍ Radek, MAZAL Zdeněk, ZBOŘIL František and JANOUŠEK Vladimír. Modeling Deliberative Agents Using Object Oriented Petri Nets. In: Proceedings of the 7th ISDA. Los Alamitos: IEEE Computer Society, 2007, pp. 15-20. ISBN 0-7695-2976-3.
    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

    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

  • 2006

    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

    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

    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. On the Prototype-Based Object Orientation in Modeling and Simulation. In: Proceedings of of Advanced Simulation of Systems 2006. Ostrava, 2006, p. 6. ISBN 80-86840-26-3.
    Detail

    ČEŠKA Milan, JANOUŠEK Vladimír, KOČÍ Radek, KŘENA Bohuslav and VOJNAR Tomáš. PNtalk: State of the Art. In: Proceedings of the Fourth International Workshop on Modelling of Objects, Components, and Agents. Hamburg, 2006, pp. 301-307.
    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

  • 2005

    JANOUŠEK Vladimír and SLAVÍČEK Pavel. Concept for the parallel road-traffic simulation. In: Proceedings of MOSIS'05. Ostrava, 2005, pp. 123-128. ISBN 80-86840-10-7.
    Detail

    JANOUŠEK Vladimír and KOČÍ Radek. PNtalk Project: Current Research Direction. In: Simulation Almanac 2005. Praha: Faculty of Electrical Engineering, Czech Technical University, 2005, pp. 50-62. ISBN 80-01-03322-8.
    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

    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

  • 2004

    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

    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

  • 2003

    JANOUŠEK Vladimír and SLAVÍČEK Pavel. Heterogenní simulace na bázi DEVS. In: Proceedings of XXVth International Autumn Colloquium ASIS 2003. Ostrava, 2003, pp. 213-218. ISBN 80-58988-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

  • 2002

    Č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

    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

  • 2001

    Č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, 2001, pp. 183-193. ISSN 0267-6192.
    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

  • 2000

    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

    Č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

    Č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

  • 1999

    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

    Č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

  • 1998

    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

    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

  • 1997

    Č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, 1997, pp. 119-124. ISSN 1078-6236.
    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, JANOUŠEK Vladimír and VOJNAR Tomáš. PNtalk - A Computerized Tool for Object Oriented Petri Nets Modelling. Lecture Notes in Computer Science, vol. 1333, 1997, pp. 591-610. ISBN 3-540-63811-3. ISSN 0302-9743.
    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

  • 1996

    Č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

    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

  • 1995

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

    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

  • 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

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

    JANOUŠEK Vladimír. OOPN:A High-Level Language for Modeling and Simulation. In: MMOSIS'94. Ostrava: unknown, 1994, pp. 320-325. ISBN 80-901229-8-1.
    Detail

  • 1992

    RÁBOVÁ Zdeňka, ZENDULKA Jaroslav, ČEŠKA Milan, PERINGER Petr and JANOUŠEK Vladimír. Modelování a simulace. Brno: Brno University of Technology, 1992. ISBN 80-214-0480-9.
    Detail

Back to top