| Publication | Date of Publication | Type |
|---|
| Verification of data-aware process models: checking soundness of Data Petri nets | 2024-03-20 | Paper |
| On occurrence net semantics for petri nets with contacts | 2022-12-09 | Paper |
| Resource Bisimilarity in Petri Nets is Decidable | 2022-10-07 | Paper |
| Property-preserving transformations of elementary net systems based on morphisms | 2022-08-11 | Paper |
| Boris Abramovich Trakhtenbrot | 2022-05-09 | Paper |
| Automatic construction of systems of distributed components from nested Petri nets models | 2020-12-16 | Paper |
| Resource equivalences in Petri nets | 2018-08-20 | Paper |
| Controlling Petri Net Behavior using Priorities for Transitions | 2017-03-22 | Paper |
| Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets | 2016-10-04 | Paper |
| Decidability of $$k$$-Soundness for Workflow Nets with an Unbounded Resource | 2015-11-12 | Paper |
| Discovery of Cancellation Regions within Process Mining Techniques | 2014-12-22 | Paper |
| Modelling multiagent systems with the help of generalized nets of active resources | 2014-10-30 | Paper |
| Process Model Discovery: A Method Based on Transition System Decomposition | 2014-07-08 | Paper |
| Analyzing Compatibility of Services via Resource Conformance | 2014-04-25 | Paper |
| On Compositionality of Boundedness and Liveness for Nested Petri Nets | 2013-01-14 | Paper |
| Cellular Resource-Driven Automata | 2013-01-14 | Paper |
| Resource Driven Automata Nets | 2011-11-10 | Paper |
| Interacting Workflow Nets for Workflow Process Re-Engineering | 2011-03-09 | Paper |
| Nested Nets for Adaptive Systems | 2009-04-02 | Paper |
| Interacting Automata for Modelling Distributed Systems | 2008-09-30 | Paper |
| Nested Petri Nets for Adaptive Process Modeling | 2008-03-25 | Paper |
| Checking properties of adaptive workflow nets | 2007-10-17 | Paper |
| Resource bisimulation in Petri nets | 2007-05-16 | Paper |
| Nested Petri nets: modeling and analysis of distributed systems with object structure | 2007-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5695601 | 2005-10-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818744 | 2004-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3043830 | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4461752 | 2004-05-18 | Paper |
| Recursive nested Petri Nets: Analysis of semantic properties and expessibility | 2003-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3146277 | 2002-09-11 | Paper |
| Causal semantics for Petri nets with contacts | 2001-04-26 | Paper |
| Nested Petri nets: Multi-level and recursive systems. | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4511269 | 2000-10-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4507821 | 2000-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3988859 | 1992-06-28 | Paper |
| Combining algebraic specifications and procedural tools for correct program development | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3785902 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3801053 | 1987-01-01 | Paper |
| The problem of the existence of a complete axiomatic semantics for programs that do not allow side effects | 1987-01-01 | Paper |
| Reducing transformations for functional programs with assignment | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3779729 | 1986-01-01 | Paper |
