Preserving Properties in System Redesign: Rule-Based Approach. - Milan Urbásek (WADT, 2002)

Petri Net Transformations in the "Petri Net Baukasten". - Benjamin Braatz; Hartmut Ehrig; Milan Urbásek (Petri Net Technology for Communication-Based Systems, 2003)

Rule-Based Refinement of Petri Nets: A Survey. - Julia Padberg; Milan Urbásek (Petri Net Technology for Communication-Based Systems, 2003)

Net Transformations for Petri Net Technology. - Milan Urbásek (Bull. EATCS, 2003)

Modeling Petri Net Based Systems by Net Transformations: New Developments. - Milan Urbásek (UNIGRA, 2003)

Categorical net transformations for Petri net technology. - Milan Urbásek (2003)