Milan Urbásek

Publication Activity (10 Years)

Years Active: 2002-2003
Publications (10 Years): 0

Berlin Institute of Technology (PHD)

Education History

Berlin Institute of Technology

PHD

Publications

Milan Urbásek
Modeling Petri Net Based Systems by Net Transformations: New Developments. Electron. Notes Theor. Comput. Sci. 82 (7) (2003)
Benjamin Braatz, Hartmut Ehrig, Milan Urbásek
Petri Net Transformations in the "Petri Net Baukasten". Petri Net Technology for Communication-Based Systems (2003)
Julia Padberg, Milan Urbásek
Rule-Based Refinement of Petri Nets: A Survey. Petri Net Technology for Communication-Based Systems (2003)
Milan Urbásek
Net Transformations for Petri Net Technology. Bull. EATCS 80 (2003)
Milan Urbásek
Preserving Properties in System Redesign: Rule-Based Approach. WADT (2002)