Ekkart Kindler

Publications

• Live Road Condition Assessment with Internal Vehicle Sensors
• Application and Theory of Petri Nets and Other Models of Concurrency
• The ePNK: A generic PNML tool Users' and Developers' Guide for Version 1.0.0
• Code Generation for Protocols from CPN models Annotated with Pragmatics
• Towards a software architecture for neurophysiological experiments
• The PNK, the PNML and the ePNK: What became of our dreams?
• Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18)
• Smarte Energisystemer er vejen frem
• Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars
• ePNK: A generic PNML tool - Users' and Developers' Guide
• The Event Coordination Notation: Behaviour Modelling Beyond Mickey Mouse
• Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications
• Application and Theory of Petri Nets and Concurrency
• Modelling Foundations and Applications
• Difference-based Model Synchronization in an Industrial MDD Process
• Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification
• A framework for the definition of variants of high-level Petri nets
• Model-based Software Engineering
• The Third Workshop on Behaviour Modelling - Foundations and Applications
• A simulator for high-level Petri nets: An ePNK application
• Pragmatics annotated coloured petri nets for protocol software generation and verification
• Modelling Local and Global Behaviour: Petri Nets and Event Coordination
• Business Process Management
• Integrating Behaviour in Software Models: An Event Coordination Notation
• ePNK Applications and Annotations
• Generating Protocol Software from CPN Models Annotated with Pragmatics
• Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2017
• The ePNK: An Extensible Petri Net Tool for PNML
• Coordinating Interactions: The Event Coordination Notation
• Special issue: Selected papers of BPM 2012
• Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification
• Ny software helt uden programmering
• On the dimensions of software documents — An idea for framing the software engineering process.
• The Event Coordination Notation: Execution Engine and Programming Framework
• A primer on the Petri Net Markup Language and ISO/IEC 15909-2
• Behavior Modeling -- Foundations and Applications
• Bx 2015 — Bidirectional Transformations
• An ECNO semantics for Petri nets
• Code Generation for Protocols from CPN models Annotated with Pragmatics
• Modelling Local and Global Behaviour: Petri Nets and Event Coordination
• Process mining
• ePNK Applications and Annotations: A Simulator for YAWL Nets
• Model-based Software Engineering and Process-Aware Information Systems
• Using the Event Coordination Notation for Validation
• Multidirectional Transformations and Synchronisations.
• Coordinating Behaviour
• climify.org: an online solution for easy control and monitoring of the indoor environment
• Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2019
• On the declarative paradigm in hybrid business process representations
• Towards a tool for visualizing pupil dilation linked with source code artifacts
• Towards a Standard for Modular Petri Nets
• Diff-based model synchronization in an industrial MDD process
• Reconciling TGGs with QVT
• TGGs for Transforming UML to CSP
• Modular PNML revisited: Some ideas for strict typing
• Modelling Constructs
• Requirements and Evaluation of tool papers for PETRI NETS
• Aspect-Oriented Modelling from a Different Angle
• Modelchecking
• AMFIBIA: A Meta-Model for the Integration of Business Process Modelling Aspects
• Process Mining: A Two-Step Approach to Balance Between Underfitting and Overfitting
• On the semantics of EPCs: Efficient calculation and simulation - Extended abstract
• Algebraic nets with flexible arcs
• Message passing mutex
• ESTL: A temporal logic for events and states
• A compositional partial order semantics for Petri net components
• INVARIANTS, COMPOSITION, AND SUBSTITUTION
• Mutex needs fairness
• On the semantics of EPCs: A framework for resolving the vicious circle
• Liveness, fairness, and recurrence in Petri nets
• The Petri Net Kernel
• A SIMPLIFIED PROOF FOR A SELF-STABILIZING PROTOCOL - A GAME OF CARDS
• The Petri net markup language: Concepts, technology, and tools
• The Petri Net Markup Language
• Serializability, concurrency control, and replication control
• Proving correctness of distributed algorithms using high-level Petri nets - A case study
• On the semantics of EPCs: Resolving the vicious circle
• 3D-Visualization of Petri net models: Concept and realization
• Incremental workflow mining based on document versioning information
• Flexibility in algebraic nets
• Defining fairness
• Inter-operability of workflow applications: Local criteria for global soundness
• Petri nets, situations, and automata
• ILF and DAWN for Verifying Distributed Algorithms – An Idea for a Tool
• Integrating Distributed Algorithms into Distributed Systems
• Verifying Intuition — ILF Checks DAWN Proofs
• Distributed algorithms for networks of agents
• Petri net based verification of distributed algorithms: an example
• Verification of distributed algorithms with algebraic Petri nets
• Arc-typed Petri Nets
• Compositional liveness properties of EN-systems
• Causality Based Proof of a Distributed Shared Memory System
• Aspect-oriented modelling from a different angle
• AMFIBIA: a meta-model for integrating business process modelling aspects
• Reconciling scenario-centered controller design with state-based system models
• LiRA-CD: An open-source dataset for road condition modelling and research
• Complexity in declarative process models