![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
UNIGRA 2003: Warsaw, Poland
- Roswitha Bardohl, Hartmut Ehrig:
Uniform Approaches to Graphical Process Specification Techniques, UNIGRA 2003, Satellite Event for ETAPS 2003, Warsaw, Poland, April 5-6, 2003. Electronic Notes in Theoretical Computer Science 82(7), Elsevier 2003 - Hartmut Ehrig:
Behaviour and Instantiation of High-Level Net Processes. 1-15 - Milan Urbásek:
Modeling Petri Net Based Systems by Net Transformations: New Developments. 16-33 - Julia Padberg:
Case Study: Modelling Telecom Services with Petri Net Modules. 34-45 - Jörg Desel, Gabriel Juhás
, Robert Lorenz:
Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders. 46-62 - Fernando Orejas
, Hartmut Ehrig:
Components for Algebra Transformation Systems. 63-78 - Sabine Kuske, Peter Knirsch:
Modeling Agent Systems with Distributed Transformation Units. 79-90 - Niels Van Eetvelde, Dirk Janssens:
A Hierarchical Program Representation for Refactoring. 91-104 - Mark Minas:
XML-based Specification of Diagram Editors. 105-119 - Paolo Bottoni
:
Dynamic aspects of visual modelling languages. 120-132 - Gregor Engels, Jochen Malte Küster, Reiko Heckel, Marc Lohmann:
Model-Based Verification and Validation of Properties. 133-150 - Stuart Kent, Robert Smith:
The Bidirectional Mapping Problem. 151-165 - Roswitha Bardohl, Hartmut Ehrig:
Preface UNIGRA'03 - Uniform Approaches to Graphical Process Specification Techniques. 166-167
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.