Přístupnostní navigace
E-application
Search Search Close
doc. Ing.
Ph.D.
FIT, DITS – Associate professor
+420 54114 1231janousek@fit.vut.cz
Send BUT message
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. 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
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
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. p. 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. p. 122-127. ISBN: 978-1-61208-668-2.Detail | WWW
2017
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. p. 43-54. ISBN: 978-80-01-06138-1.Detail
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
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
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
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
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
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. 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. 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
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
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. 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
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. 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
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
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. 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
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
2009
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
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
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
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
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
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
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
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
Č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
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
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
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
2008
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
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
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
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
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.; 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.; 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
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
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
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
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
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. p. 15-20. ISBN: 0-7695-2976- 3.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. p. 244-245. ISBN: 978-83-7051-427- 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. p. 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. p. 386-395. ISBN: 978-83-7493-339- 1.Detail
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. p. 396-405. ISBN: 978-83-7493-339- 1.Detail
2006
Č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. p. 301-307. Detail
JANOUŠEK, V.; KIRONSKÝ, E. SmallDEVS, an Interactive Modeling and Simulation Tool for Smalltalk. In Proc. of MOSIS' 06. Ostrava: 2006. p. 91-98. ISBN: 80-86840-21- 2.Detail
JANOUŠEK, V.; POLÁŠEK, P.; SLAVÍČEK, P. Towards DEVS Meta Language. In ISC 2006 Proceedings. Zwijnaarde: 2006. p. 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. On the Prototype- Based Object Orientation in Modeling and Simulation. In Proceedings of of Advanced Simulation of Systems 2006. Ostrava: 2006. p. 1-0. ISBN: 80-86840-26- 3.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. p. 164-169. ISBN: 8086840263.Detail
JANOUŠEK, V.; KIRONSKÝ, E. Exploratory Modeling with SmallDEVS. In Proc. of ESM 2006. Ghent: EUROSIS, 2006. p. 122-126. ISBN: 90-77381-30- 9.Detail
JANOUŠEK, V.; POLÁŠEK, P.; SLAVÍČEK, P. Metajazyk pro popis DEVS formalismu. In NETSS 2006. Ostrava: MARQ, 2006. p. 43-48. ISBN: 80-86840-06- 9.Detail
2005
JANOUŠEK, V., SLAVÍČEK, P. Concept for the parallel road- traffic simulation. In Proceedings of MOSIS' 05. Ostrava: 2005. p. 123-128. ISBN: 80-86840-10- 7.Detail
JANOUŠEK, V. SmallDEVS-2005-02- 21. Bern: Squeak Foundation, 2005.WWW
JANOUŠEK, V., KOČÍ, R. PNtalk Project: Current Research Direction. In Simulation Almanac 2005. Praha: Faculty of Electrical Engineering, 2005. p. 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. p. 59-66. ISBN: 80-8070-468- 6.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. 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ů. In NETSS2004. Ostrava: MARQ, 2004. p. 103-108. ISBN: 80-85988-92- 5.Detail
JANOUŠEK, V. SmallDEVS-2004-03- 19. Bern: Squeak Foundation, 2004.WWW
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. p. 31-36. ISBN: 3-901608-28- 1.Detail
2003
JANOUŠEK, V., KOČÍ, R. PNtalk: Concurrent Language with MOP. In Proceedings of the CS&P' 2003 Workshop. Warsawa: Warsaw University, 2003. p. 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. p. 213-218. ISBN: 80-58988-88- 7.Detail
2002
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. p. 133-146. ISSN: 1102- 593X.Detail | WWW
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, 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
JANOUŠEK, V., SCHWARZ, I. Interoperability of Object Oriented Petri Nets. In Proc. of MOSIS' 01. Ostrava, Czech Republic: 2001. p. 137-144. ISBN: 80-85988-57- 7.Detail
Č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. p. 115-118. ISBN: 84-699-3971- 8.Detail
Č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
*) Publications are generated once a 24 hours.