Milan Urbásek

According to our database, Milan Urbásek authored at least 6 papers between 2002 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

Categorical net transformations for Petri net technology.

Milan Urbásek

PhD thesis, 2003

Modeling Petri Net Based Systems by Net Transformations: New Developments.

Milan Urbásek

Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2003

Net Transformations for Petri Net Technology.

Milan Urbásek

Bull. EATCS, 2003

Rule-Based Refinement of Petri Nets: A Survey.

Julia Padberg, Milan Urbásek

Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

Petri Net Transformations in the "Petri Net Baukasten".

Benjamin Braatz, Hartmut Ehrig, Milan Urbásek

Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

2002

Preserving Properties in System Redesign: Rule-Based Approach.

Milan Urbásek

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002