| |
| 2008 | ||
|---|---|---|
| 5 | EE | Radek Kocí, Vladimír Janousek: System Design with Object Oriented Petri Nets Formalism. ICSEA 2008: 421-426 |
| 2001 | ||
| 4 | EE | Milan Ceska, Vladimír Janousek, Tomás Vojnar: Analysis and Verification Queries over Object-Oriented Petri Nets. EUROCAST 2001: 369-384 |
| 3 | Milan Ceska, Vladimír Janousek, Tomás Vojnar: Generating and using state spaces of object-oriented Petri nets. Comput. Syst. Sci. Eng. 16(3): 183-193 (2001) | |
| 1999 | ||
| 2 | Milan Ceska, Vladimír Janousek, Tomás Vojnar: Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. EUROCAST 1999: 90-104 | |
| 1997 | ||
| 1 | Milan Ceska, Vladimír Janousek, Tomás Vojnar: PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling. EUROCAST 1997: 591-610 | |
| 1 | Milan Ceska | [1] [2] [3] [4] |
| 2 | Radek Kocí | [5] |
| 3 | Tomás Vojnar | [1] [2] [3] [4] |