Vladimír Janousek

Publication Activity (10 Years)

Years Active: 1997-2017
Publications (10 Years): 3

Top Topics

Sequence Diagrams

Discrete Event Systems

Top Venues

PNSE @ Petri Nets

Publications

Jakub Pavlat, Karel Richta, Tomas Richta, Vladimír Janousek
Model Transformations via XSLT. DATESO (2017)
Tomás Richta, Hao Wang, Ottar L. Osen, Arne Styve, Vladimír Janousek
Data-Driven Maritime Processes Management Using Executable Models. EUROCAST (2) (2017)
Tomas Richta, Vladimír Janousek, Radek Kocí
Dynamic Software Architecture for Distributed Embedded Control Systems. PNSE @ Petri Nets (2015)
Petr Polasek, Vladimír Janousek, Milan Ceska
Petri Net Simulation as a Service. PNSE @ Petri Nets (2014)
Tomas Richta, Vladimír Janousek
Operating System for Petri Nets-Specified Reconfigurable Embedded Systems. EUROCAST (1) (2013)
Tomas Richta, Vladimír Janousek, Radek Kocí
Petri Nets-Based Development of Dynamically Reconfigurable Embedded Systems. PNSE+ModPE (2013)
Radek Kocí, Vladimír Janousek
Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study. PNSE (2012)
Radek Kocí, Vladimír Janousek
OOPN and DEVS Formalisms for System Specification and Analysis. ICSEA (2010)
Vladimír Janousek, Sárka Kvetonová
Object-Oriented Petri Nets-Based Modeling of Resources in Project Engineering. EUROCAST (2009)
Zdenek Mazal, Radek Kocí, Vladimír Janousek, Frantisek Zboril Jr.
Modelling intelligent agents for autonomic computing in the PNagent framework. Int. J. Auton. Comput. 1 (2) (2009)
Radek Kocí, Vladimír Janousek
Towards Simulation-Based Design of the Software Systems. ICSEA (2009)
Radek Kocí, Vladimír Janousek
Simulation Based Design of Control Systems Using DEVS and Petri Nets. EUROCAST (2009)
Frantisek Zboril Jr., Vladimír Janousek, Radek Kocí, Frantisek Zboril, Zdenek Mazal
Framework for model-based design of multi-agent systems. Int. J. Auton. Comput. 1 (2) (2009)
Jirí Hýsek, Milan Ceska, Vladimír Janousek
Model-Based Design and Verification of Reactive Systems. EUROCAST (2009)
Vladimír Janousek, Elod Kironsky
Interactive evolutionary modelling and simulation of discrete-event systems using prototypical objects. Int. J. Auton. Comput. 1 (2) (2009)
Frantisek Zboril Jr., Frantisek Zboril, Radek Kocí, Vladimír Janousek, Zdenek Mazal
T-Mass v.2, State of the Art. EMS (2008)
Radek Kocí, Vladimír Janousek
System Design with Object Oriented Petri Nets Formalism. ICSEA (2008)
Frantisek Zboril Jr., Vladimír Janousek, Radek Kocí, Zdenek Mazal
Reactive Planning with Weak Plan Instances. ISDA (1) (2008)
Zdenek Mazal, Radek Kocí, Vladimír Janousek, Frantisek Zboril
PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets. ISDA (2) (2008)
Radek Kocí, Vladimír Janousek, Frantisek Zboril Jr.
Object Oriented Petri Nets — Modelling Techniques Case Study. EMS (2008)
Radek Kocí, Zdenek Mazal, Frantisek Zboril, Vladimír Janousek
Modeling Deliberative Agents Using Object Oriented Petri Nets. ISDA (2007)
Milan Ceska, Vladimír Janousek, Tomás Vojnar
Generating and using state spaces of object-oriented Petri nets. Comput. Syst. Sci. Eng. 16 (3) (2001)
Milan Ceska, Vladimír Janousek, Tomás Vojnar
Analysis and Verification Queries over Object-Oriented Petri Nets. EUROCAST (2001)
Milan Ceska, Vladimír Janousek, Tomás Vojnar
Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. EUROCAST (1999)
Milan Ceska, Vladimír Janousek, Tomás Vojnar
Object-oriented Petri nets, their simulation, and analysis. SMC (1998)
Milan Ceska, Vladimír Janousek, Tomás Vojnar
PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling. EUROCAST (1997)