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] |