| |
| 2003 | ||
|---|---|---|
| 5 | EE | Julia Padberg, Milan Urbásek: Rule-Based Refinement of Petri Nets: A Survey. Petri Net Technology for Communication-Based Systems 2003: 161-196 |
| 4 | EE | Benjamin Braatz, Hartmut Ehrig, Milan Urbásek: Petri Net Transformations in the "Petri Net Baukasten". Petri Net Technology for Communication-Based Systems 2003: 37-65 |
| 3 | Milan Urbásek: Net Transformations for Petri Net Technology. Bulletin of the EATCS 80: 77-94 (2003) | |
| 2 | EE | Milan Urbásek: Modeling Petri Net Based Systems by Net Transformations: New Developments. Electr. Notes Theor. Comput. Sci. 82(7): (2003) |
| 2002 | ||
| 1 | EE | Milan Urbásek: Preserving Properties in System Redesign: Rule-Based Approach. WADT 2002: 442-456 |
| 1 | Benjamin Braatz | [4] |
| 2 | Hartmut Ehrig | [4] |
| 3 | Julia Padberg | [5] |