default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDUNIGRA 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
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.
last updated on 2026-04-20 23:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
