Doc. Ing. Vladimír Janoušek, Ph.D.

2016KOČÍ 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.
2015KOČÍ 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.
 RICHTA Tomáš, JANOUŠEK Vladimír and KOČÍ Radek. Dynamic Software Architecture for Distributed Embedded Control Systems. In: ADECS '15. Bruxelles: CEUR-WS.org, 2015, pp. 1-15. ISBN 1-234-56789-X. ISSN 1613-0073.
2014KOČÍ Radek and JANOUŠEK Vladimír. Formal Models in Software Development and Deployment: A Case Study. International Journal on Advances in Software. 2014, vol. 7, no. 1, pp. 266-276. ISSN 1942-2628.
 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.
 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.
2013JANOUŠ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.
 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.
 RICHTA Tomáš and JANOUŠEK Vladimír. Operating System for Petri Nets-Specified Reconfigurable Embedded Systems. In: Computer Aided Systems Theory - EUROCAST 2013. Berlin Heidelberg: Springer Verlag, 2013, pp. 444-451. ISBN 978-3-642-53855-1.
 RICHTA Tomáš, JANOUŠEK Vladimír and KOČÍ Radek. Petri Nets-Based Development of Dynamically Reconfigurable Embedded Systems. CEUR Workshop Proceedings. 2013, vol. 2013, no. 989, pp. 203-217. ISSN 1613-0073.
2012KOČÍ Radek and JANOUŠEK Vladimír. Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study. CEUR Workshop Proceedings. 2012, vol. 851, no. 06, pp. 253-266. ISSN 1613-0073.
 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.
 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.
2011JANOUŠ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.
 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.
 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.
2010KOČÍ 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.
 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. 2010, vol. 10, no. 3, pp. 32-44. ISSN 1473-8031.
 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.
 ŽÁ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. Prague: Czech Technical University Publishing House, 2010, p. 9. ISBN 978-80-01-04589-3.
2009HÝ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.
 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. London: Inderscience Publishers, 2009, vol. 1, no. 2, pp. 104-120. ISSN 1741-8569.
 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.
 JANOUŠEK Vladimír. Simulace a návrh vyvíjejících se systémů. Brno, CZ: Faculty of Information Technology BUT, 2009.
 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.
 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. Berlin: Springer Verlag, 2009, pp. 849-856. ISBN 978-3-642-04771-8.
 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.
 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.
 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.
 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. Heidelberg: Springer Verlag, 2009, pp. 841-848. ISBN 978-3-642-04771-8.
 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. London: Inderscience Publishers, 2009, vol. 1, no. 2, pp. 121-139. ISSN 1741-8569.
 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. London: Inderscience Publishers, 2009, vol. 1, no. 2, pp. 140-162. ISSN 1741-8569.
 ČEŠKA Milan, HÝSEK Jiří and JANOUŠEK Vladimír. Model-Based Design and Verification of Reactive Systems. Lecture Notes in Computer Science. 2009, vol. 2009, no. 5717, pp. 865-872. ISBN 978-3-642-04771-8. ISSN 0302-9743.
2008JANOUŠ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.
 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.
 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.
 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.
 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.
 JANOUŠEK Vladimír. Modelování objektů Petriho sítěmi. Brno: Faculty of Information Technology BUT, 2008. ISBN 978-80-214-3749-4.
 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.
 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.
 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.
 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.
 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.
 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.
 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.
2007JANOUŠ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. Wroclaw: Wroclaw University of Technology, 2007, pp. 386-395. ISBN 978-83-7493-339-1.
 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.
 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. Wroclaw: Wroclaw University of Technology, 2007, pp. 396-405. ISBN 978-83-7493-339-1.
 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.
 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.
2006JANOUŠ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.
 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.
 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.
 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.
 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.
 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.
 Č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.
2005JANOUŠ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.
 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.
 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.
 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.
2004HRUBÝ 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.
 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. Paris: EUROSIM-FRANCOSIM-ARGESIM, 2004, pp. 31-36. ISBN 3-901608-28-1.
2003JANOUŠ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.
 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.
2002JANOUŠ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.
 Č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. 2002, vol. 2002, no. 9, pp. 1289-1299. ISSN 0368-492X.
2001JANOUŠ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.
 Č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.
 ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Analysis and Verification Queries over Object-Oriented Petri Nets. Lecture Notes in Computer Science. 2001, vol. 2001, no. 2178, pp. 365-384. ISSN 0302-9743.
 Č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. 2001, vol. 16, no. 3, pp. 183-193. ISSN 0267-6192.
2000RÁ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.
 Č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.
 Č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.
 ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. Lecture Notes in Computer Science. 2000, vol. 2000, no. 1798, pp. 90-104. ISSN 0302-9743.
1999JANOUŠ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.
 Č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.
1998JANOUŠ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.
 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.
 Č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.

Show all publications

Your IPv4 address: 54.162.60.75
Switch to IPv6 connection

DNSSEC [dnssec]