Milan Urbásek

Preserving Properties in System Redesign: Rule-Based Approach

Milan Urbásek, 2002, WADT.

Modeling Petri Net Based Systems by Net Transformations: New Developments

Milan Urbásek, 2003, Electron. Notes Theor. Comput. Sci..

Net Transformations for Petri Net Technology

Milan Urbásek, 2003, Bull. EATCS.

Rule-Based Refinement of Petri Nets: A Survey

Milan Urbásek, Julia Padberg, J. Padberg, 2003, Petri Net Technology for Communication-Based Systems.

Petri Net Transformations in the "Petri Net Baukasten"

Hartmut Ehrig, Milan Urbásek, Benjamin Braatz, 2003, Petri Net Technology for Communication-Based Systems.

Categorical net transformations for Petri net technology

Milan Urbásek, 2003 .