Personal information

Activities

Employment (1)

Brno University of Technology: Brno, CZ

Employment
Source: check_circle
IS - Brno University of Technology

Works (30)

Data-Driven Maritime Processes Management Using Executable Models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018 | Book
EID:

2-s2.0-85041708245

Part of ISBN:

16113349 03029743

Contributors: Richta, T.; Wang, H.; Osen, O.; Styve, A.; Janoušek, V.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

Model transformations via XSLT

Proceedings of the Dateso 2017 Workshop on Databases, Texts Specifications, and Objects, DATESO 2017
2017 | Conference paper
EID:

2-s2.0-85076116295

Contributors: Pavlát, J.; Richta, K.; Richta, T.; Janoušek, V.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

Dynamic software architecture for distributed embedded control systems

CEUR Workshop Proceedings
2015 | Conference paper
EID:

2-s2.0-85025154918

Part of ISBN:

16130073

Contributors: Richta, T.; Janoušek, V.; Kocí, R.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

Petri net simulation as a service

CEUR Workshop Proceedings
2014 | Conference paper
EID:

2-s2.0-84907937384

Part of ISBN:

16130073

Contributors: Polasek, P.; Janousek, V.; Ceska, M.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

Operating system for petri nets-specified reconfigurable embedded systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013 | Book
EID:

2-s2.0-84892596866

Part of ISBN:

03029743 16113349

Contributors: Richta, T.; Janoušek, V.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

Petri nets-based development of dynamically reconfigurable embedded systems

CEUR Workshop Proceedings
2013 | Conference paper
EID:

2-s2.0-84924931540

Part of ISBN:

16130073

Contributors: Richta, T.; Janoušek, V.; Kočí, R.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

Code generation for Petri Nets-specified reconfigurable distributed control systems

Proceedings of 15th International Conference on Mechatronics, MECHATRONIKA 2012
2012 | Conference paper
EID:

2-s2.0-84874281195

Contributors: Richta, T.; Janousek, V.; Koci, R.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

Modeling and simulation-based design using object-oriented petri nets: A case study

CEUR Workshop Proceedings
2012 | Conference paper
EID:

2-s2.0-84892614444

Part of ISBN:

16130073

Contributors: Kočí, R.; Janoušek, V.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

OOPN and DEVS formalisms for system specification and analysis

Proceedings - 5th International Conference on Software Engineering Advances, ICSEA 2010
2010 | Conference paper
EID:

2-s2.0-78649842957

Contributors: Kočí, R.; Janoušek, V.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

Model-based design and verification of reactive systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009 | Book
EID:

2-s2.0-78651242358

Part of ISBN:

03029743 16113349

Contributors: Hýsek, J.; Češka, M.; Janoušek, V.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

Object Oriented Petri Nets - Modelling techniques case study

International Journal of Simulation: Systems, Science and Technology
2009 | Journal article
EID:

2-s2.0-80052660074

Part of ISBN:

14738031 1473804X

Contributors: Kočí, R.; Janoušek, V.; Zbořil Jr., F.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

Object-oriented Petri nets-based modeling of resources in project engineering

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009 | Book
EID:

2-s2.0-78651257224

Part of ISBN:

03029743 16113349

Contributors: Janoušek, V.; Květoňová, S.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

Simulation based design of control systems using DEVS and Petri Nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009 | Book
EID:

2-s2.0-78649888851

Part of ISBN:

03029743 16113349

Contributors: Kočí, R.; Janoušek, V.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

Towards simulation-based design of the software systems

4th International Conference on Software Engineering Advances, ICSEA 2009, Includes SEDES 2009: Simposio para Estudantes de Doutoramento em Engenharia de Software
2009 | Conference paper
EID:

2-s2.0-70749139913

Contributors: Kočí, R.; Janoušek, V.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

Object oriented petri nets - modelling techniques case study

Proceedings - EMS 2008, European Modelling Symposium, 2nd UKSim European Symposium on Computer Modelling and Simulation
2008 | Conference paper
EID:

2-s2.0-55849093211

Contributors: Kočí, R.; Janoušek, V.; Zbořil Jr., F.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

Object oriented Petri nets usage in project portfolio modeling domain

ESM 2008 - 2008 European Simulation and Modelling Conference: Modelling and Simulation 2008
2008 | Conference paper
EID:

2-s2.0-84898940691

Contributors: Kvetonova, S.; Janousek, V.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

Pnagent: A framework for modelling bdi agents using object oriented petri nets

Proceedings - 8th International Conference on Intelligent Systems Design and Applications, ISDA 2008
2008 | Conference paper
EID:

2-s2.0-67449147140

Contributors: Mazal, Z.; Kǒcí, R.; Janousěk, V.; Zbořil, F.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

Reactive planning with weak plan instances

Proceedings - 8th International Conference on Intelligent Systems Design and Applications, ISDA 2008
2008 | Conference paper
EID:

2-s2.0-67449136143

Contributors: Zboril Jr., F.; Janousek, V.; Koci, R.; Mazal, Z.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

Reflective framework for interactive modeling and simulation of intelligent systems

Proceedings of 19th International Conference on Systems Engineering, ICSEng 2008
2008 | Conference paper
EID:

2-s2.0-53549088572

Contributors: Janoušek, V.; Kironský, E.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

System design with object oriented petri nets formalism

Proceedings - The 3rd International Conference on Software Engineering Advances, ICSEA 2008, Includes ENTISY 2008: International Workshop on Enterprise Information Systems
2008 | Conference paper
EID:

2-s2.0-57649199795

Contributors: Koĉí, R.; Janoušek, V.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

T-Mass v.2, state of the art

Proceedings - EMS 2008, European Modelling Symposium, 2nd UKSim European Symposium on Computer Modelling and Simulation
2008 | Conference paper
EID:

2-s2.0-55849130321

Contributors: Zboriil Jr., F.; Zboril, F.; Koci, R.; Janousek, V.; Mazal, Z.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

Modeling deliberative agents using object oriented petri nets

Proceedings of The 7th International Conference on Intelligent Systems Design and Applications, ISDA 2007
2007 | Conference paper
EID:

2-s2.0-48349113028

Contributors: Kočí, R.; Mazal, Z.; Zbořil, F.; Janoušek, V.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

Exploratory modeling with smalldevs

ESM 2006 - 2006 European Simulation and Modelling Conference: Modelling and Simulation 2006
2006 | Conference paper
EID:

2-s2.0-70749143209

Contributors: Janoušek, V.; Kironský, E.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

Towards devs meta language

4th International Industrial Simulation Conference 2006, ISC 2006
2006 | Conference paper
EID:

2-s2.0-78650595205

Contributors: Janoušek, V.; Polášek, P.; Slavíček, P.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets

Kybernetes
2002 | Journal article
EID:

2-s2.0-0036942882

Part of ISBN:

0368492X

Contributors: Češka, M.; Janoušek, V.; Vojnar, T.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

Analysis and verification queries over object-oriented petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2001 | Book
EID:

2-s2.0-84887201763

Part of ISBN:

16113349 03029743

Contributors: Ceska, M.; Janousek, V.; Vojnar, T.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

Generating and using state spaces of object-oriented Petri nets

Computer Systems Science and Engineering
2001 | Journal article
EID:

2-s2.0-0035332626

Part of ISBN:

02676192

Contributors: Ceska, M.; Janousek, V.; Vojnar, T.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

Towards verifying distributed systems using object-oriented Petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2000 | Book
EID:

2-s2.0-33645997952

Part of ISBN:

16113349 03029743

Contributors: Češka, M.; Janoušek, V.; Vojnar, T.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

Object-oriented Petri nets, their simulation, and analysis

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics
1998 | Conference paper
EID:

2-s2.0-0032277095

Part of ISBN:

08843627

Contributors: Ceska, Milan; Janousek, Vladimir; Vojnar, Tomas
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier

PNtalk - A computerized tool for object oriented petri nets modelling

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1997 | Book
EID:

2-s2.0-84958780169

Part of ISBN:

16113349 03029743

Contributors: Češka, M.; Janoušek, V.; Vojnar, T.
Source: Self-asserted source
Vladimír Janoušek via Scopus - Elsevier