Milan Urbásek

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2003
b1		Milan Urbásek: Categorical net transformations for Petri net technology. Berlin Institute of Technology 2003, isbn 3-8325-0327-7, pp. 1-205
j2		Milan Urbásek: Net Transformations for Petri Net Technology. Bulletin of the EATCS 80: 77-94 (2003)
j1		Milan Urbásek: Modeling Petri Net Based Systems by Net Transformations: New Developments. Electr. Notes Theor. Comput. Sci. 82(7): 16-33 (2003)
c3		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
c2		Julia Padberg, Milan Urbásek: Rule-Based Refinement of Petri Nets: A Survey. Petri Net Technology for Communication-Based Systems 2003: 161-196
	2002
c1		Milan Urbásek: Preserving Properties in System Redesign: Rule-Based Approach. WADT 2002: 442-456

Coauthor Index

Last update Sat May 18 21:04:17 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page