Milan Urbásek

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2003

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

4 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 Milan Urbásek: Modeling Petri Net Based Systems by Net Transformations: New Developments. Electr. Notes Theor. Comput. Sci. 82(7): (2003)

2002

1 Milan Urbásek: Preserving Properties in System Redesign: Rule-Based Approach. WADT 2002: 442-456

	2003
5		Julia Padberg, Milan Urbásek: Rule-Based Refinement of Petri Nets: A Survey. Petri Net Technology for Communication-Based Systems 2003: 161-196
4		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		Milan Urbásek: Modeling Petri Net Based Systems by Net Transformations: New Developments. Electr. Notes Theor. Comput. Sci. 82(7): (2003)
	2002
1		Milan Urbásek: Preserving Properties in System Redesign: Rule-Based Approach. WADT 2002: 442-456

Coauthor Index