dblp.uni-trier.dewww.uni-trier.de

Milan Urbásek Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Benjamin Braatz [4]
2Hartmut Ehrig [4]
3Julia Padberg [5]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)