PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling. - Milan Ceska 001; Vladimír Janousek; Tomás Vojnar (EUROCAST, 1997)

Object-oriented Petri nets, their simulation, and analysis. - Milan Ceska 001; Vladimír Janousek; Tomás Vojnar (SMC, 1998)

Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. - Milan Ceska 001; Vladimír Janousek; Tomás Vojnar (EUROCAST, 1999)

Analysis and Verification Queries over Object-Oriented Petri Nets. - Milan Ceska 001; Vladimír Janousek; Tomás Vojnar (EUROCAST, 2001)

Generating and using state spaces of object-oriented Petri nets. - Milan Ceska 001; Vladimír Janousek; Tomás Vojnar (Comput. Syst. Sci. Eng., 2001)

Modeling Deliberative Agents Using Object Oriented Petri Nets. - Radek Kocí; Zdenek Mazal; Frantisek Zboril; Vladimír Janousek (ISDA, 2007)

Object Oriented Petri Nets - Modelling Techniques Case Study. - Radek Kocí; Vladimír Janousek; Frantisek Zboril Jr. (EMS, 2008)

T-Mass v.2, State of the Art. - Frantisek Zboril Jr.; Frantisek Zboril; Radek Kocí; Vladimír Janousek; Zdenek Mazal (EMS, 2008)

System Design with Object Oriented Petri Nets Formalism. - Radek Kocí; Vladimír Janousek (ICSEA, 2008)

PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets. - Zdenek Mazal; Radek Kocí; Vladimír Janousek; Frantisek Zboril (ISDA (2), 2008)

Reactive Planning with Weak Plan Instances. - Frantisek Zboril Jr.; Vladimír Janousek; Radek Kocí; Zdenek Mazal (ISDA (1), 2008)

Model-Based Design and Verification of Reactive Systems. - Jirí Hýsek; Milan Ceska 001; Vladimír Janousek (EUROCAST, 2009)

Object-Oriented Petri Nets-Based Modeling of Resources in Project Engineering. - Vladimír Janousek; Sárka Kvetonová (EUROCAST, 2009)

Simulation Based Design of Control Systems Using DEVS and Petri Nets. - Radek Kocí; Vladimír Janousek (EUROCAST, 2009)

Towards Simulation-Based Design of the Software Systems. - Radek Kocí; Vladimír Janousek (ICSEA, 2009)

Interactive evolutionary modelling and simulation of discrete-event systems using prototypical objects. - Vladimír Janousek; Elod Kironsky (Int. J. Auton. Comput., 2009)

Modelling intelligent agents for autonomic computing in the PNagent framework. - Zdenek Mazal; Radek Kocí; Vladimír Janousek; Frantisek Zboril Jr. (Int. J. Auton. Comput., 2009)

Framework for model-based design of multi-agent systems. - Frantisek Zboril Jr.; Vladimír Janousek; Radek Kocí; Frantisek Zboril; Zdenek Mazal (Int. J. Auton. Comput., 2009)

OOPN and DEVS Formalisms for System Specification and Analysis. - Radek Kocí; Vladimír Janousek (ICSEA, 2010)

Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study. - Radek Kocí; Vladimír Janousek (PNSE, 2012)

Petri Nets-Based Development of Dynamically Reconfigurable Embedded Systems. - Tomas Richta; Vladimír Janousek; Radek Kocí (PNSE+ModPE, 2013)

Operating System for Petri Nets-Specified Reconfigurable Embedded Systems. - Tomas Richta; Vladimír Janousek (EUROCAST (1), 2013)

Petri Net Simulation as a Service. - Petr Polasek; Vladimír Janousek; Milan Ceska 001 (PNSE @ Petri Nets, 2014)

Dynamic Software Architecture for Distributed Embedded Control Systems. - Tomas Richta; Vladimír Janousek; Radek Kocí (PNSE @ Petri Nets, 2015)

Model Transformations via XSLT. - Jakub Pavlat; Karel Richta; Tomas Richta; Vladimír Janousek (DATESO, 2017)

Data-Driven Maritime Processes Management Using Executable Models. - Tomás Richta; Hao Wang 003; Ottar L. Osen; Arne Styve; Vladimír Janousek (EUROCAST (2), 2017)