| On the declarative paradigm in hybrid business process representations: A conceptual framework and a systematic literature study | 2 | 0.39 | 2020 |
| ePNK Applications and Annotations: A Simulator for YAWL Nets. | 0 | 0.34 | 2018 |
| Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491). | 0 | 0.34 | 2018 |
| Bidirectional Transformations (BX 2015) Editorial. | 0 | 0.34 | 2017 |
| Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. | 0 | 0.34 | 2015 |
| The Event Coordination Notation: Behaviour Modelling Beyond Mickey Mouse. | 0 | 0.34 | 2014 |
| Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications. | 2 | 0.39 | 2013 |
| Generating Protocol Software from CPN Models Annotated with Pragmatics. | 7 | 0.57 | 2013 |
| Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings | 0 | 0.34 | 2012 |
| Modelling Local and Global Behaviour: Petri Nets and Event Coordination. | 4 | 0.52 | 2012 |
| The event coordination notation: execution engine and programming framework | 1 | 0.35 | 2012 |
| The third workshop on behaviour modelling - foundations and applications | 0 | 0.34 | 2011 |
| The ePNK: an extensible petri net tool for PNML | 13 | 0.85 | 2011 |
| Integrating behaviour in software models: an event coordination notation -- concepts and prototype | 4 | 0.48 | 2011 |
| Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars | 35 | 1.50 | 2010 |
| Process mining: a two-step approach to balance between underfitting and overfitting | 132 | 4.80 | 2010 |
| Model-based software engineering: the challenges of modelling behaviour | 8 | 0.67 | 2010 |
| Towards a Standard for Modular Petri Nets: A Formalisation | 9 | 0.67 | 2009 |
| Model-Based Software Engineering and Process-Aware Information Systems | 6 | 0.55 | 2009 |
| Aspect-oriented modelling from a different angle: modelling domains with aspects | 5 | 0.55 | 2008 |
| AMFIBIA: a meta-model for integrating business process modelling aspects | 10 | 0.84 | 2007 |
| Reconciling TGGs with QVT | 20 | 1.76 | 2007 |
| Process mining framework for software processes | 56 | 2.04 | 2007 |
| Activity Mining for Discovering Software Process Models | 14 | 0.76 | 2006 |
| Incremental Workflow Mining for Process Flexibility | 4 | 0.46 | 2006 |
| Component tools: integrating petri nets with other formal methods | 2 | 0.39 | 2006 |
| Process mining and petri net synthesis | 13 | 0.89 | 2006 |
| AMFIBIA: A Meta-Model for the Integration of Business Process Modelling Aspects | 12 | 0.87 | 2006 |
| On the semantics of EPCs: resolving the vicious circle | 90 | 5.27 | 2006 |
| Reconciling scenario-centered controller design with state-based system models | 35 | 0.54 | 2005 |
| Incremental workflow mining based on document versioning information | 16 | 0.82 | 2005 |
| On the semantics of EPCs: Faster calculation for EPCs with small state spaces | 10 | 0.99 | 2005 |
| Preface (BPRM 2005) | 0 | 0.34 | 2005 |
| On the semantics of EPCs: Efficient calculation and simulation | 19 | 1.77 | 2004 |
| 3D-Visualization of Petri Net Models: Concept and Realization | 11 | 0.95 | 2004 |
| On the semantics of EPCs: A framework for resolving the vicious circle | 66 | 4.47 | 2003 |
| The Petri Net Markup Language. | 75 | 10.04 | 2003 |
| The Petri net markup language: concepts, technology, and tools | 170 | 13.95 | 2003 |
| The Petri Net Kernel | 20 | 6.06 | 2003 |
| On the Semantics of EPCs: A Vicious Circle | 54 | 5.89 | 2002 |
| Petri Nets, Situations, and Automata | 1 | 0.36 | 2002 |
| DAWN for component based systems - just a different perspective | 0 | 0.34 | 2002 |
| Algebraic nets with flexible arcs | 3 | 0.56 | 2001 |
| The Petri Net Kernel - An infrastructure for building Petri net tools | 30 | 3.67 | 2001 |
| Inter-operability of Workflow Applications: Local Criteria for Global Soundness | 62 | 4.95 | 2000 |
| Szenarios: Lokale Kriterien für globale Korrektheit | 0 | 0.34 | 1999 |
| Liveness, fairness, and recurrence in Petri nets | 16 | 2.90 | 1999 |
| Serializability, Concurrency Control, and Replication Control | 0 | 0.34 | 1999 |
| Integrating distibuted algorithms into distributed systems | 2 | 0.39 | 1999 |
| Verifying Intuition - ILF Checks DAWN Proofs | 4 | 0.89 | 1999 |
