| Publication | Date of Publication | Type |
|---|
| Slimming down Petri boxes: compact Petri net models of control flows | 2024-08-13 | Paper |
| Confusion-tolerant computation of probability in acyclic nets | 2024-06-05 | Paper |
| Reversing Steps in Petri Nets | 2024-01-29 | Paper |
| Interval traces with mutex relation | 2023-11-16 | Paper |
| Reaction Systems, Transition Systems, and Equivalences | 2023-06-30 | Paper |
| An Axiomatisation of Duplication Equivalence in the Petri Box Calculus | 2022-12-09 | Paper |
| Avoiding exponential explosion in Petri net models of control flows | 2022-08-19 | Paper |
| A refined view of the box algebra | 2022-08-16 | Paper |
| Synthesising elementary net systems with localities | 2022-02-21 | Paper |
| Paradigms of concurrency. Observations, behaviours and systems -- a Petri net view | 2022-02-21 | Paper |
| Investigating Reversibility of Steps in Petri Nets | 2022-02-01 | Paper |
| Asynchrony and persistence in reaction systems | 2021-08-11 | Paper |
| Relational structures for concurrent behaviours | 2021-03-09 | Paper |
| Plug-in context providers for reaction systems | 2020-08-17 | Paper |
| Reaction Systems and Enabling Equivalence | 2020-06-21 | Paper |
| An extension of the taxonomy of persistent and nonviolent steps | 2020-02-07 | Paper |
| Operational Semantics, Interval Orders and Sequences of Antichains | 2020-01-24 | Paper |
| An efficient characterization of Petri net solvable binary words | 2019-12-18 | Paper |
| From Box Algebra to Interval Temporal Logic | 2019-10-31 | Paper |
| Modeling biological gradient formation: combining partial differential equations and Petri nets | 2019-07-10 | Paper |
| Classifying invariant structures of step traces | 2019-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4621135 | 2019-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4621142 | 2019-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4621151 | 2019-02-08 | Paper |
| Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities | 2019-02-08 | Paper |
| Solving recursive net equations | 2019-01-10 | Paper |
| Reversing Transitions in Bounded Petri Nets | 2018-05-03 | Paper |
| Alphabets of Acyclic Invariant Structures | 2018-01-19 | Paper |
| Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations | 2018-01-19 | Paper |
| Invariant Structures and Dependence Relations | 2018-01-19 | Paper |
| Signal set tissue systems and overlapping localities | 2017-12-06 | Paper |
| Evolving reaction systems | 2017-06-15 | Paper |
| Synthesis of Petri Nets with Whole-Place Operations and Localities | 2016-12-21 | Paper |
| Applying regions | 2016-12-19 | Paper |
| Towards Quantitative Verification of Reaction Systems | 2016-09-28 | Paper |
| Reversible Computation vs. Reversibility in Petri Nets | 2016-08-10 | Paper |
| Persistent and Nonviolent Steps and the Design of GALS Systems | 2016-05-11 | Paper |
| Characterising Concurrent Histories | 2016-04-28 | Paper |
| Order Structures for Subclasses of Generalised Traces | 2016-04-08 | Paper |
| Step traces | 2016-02-19 | Paper |
| Tissue Systems and Petri Net Synthesis | 2015-11-12 | Paper |
| Strategy based semantics for mobility with time and access permissions | 2015-11-10 | Paper |
| Non-atomic Transition Firing in Contextual Nets | 2015-08-27 | Paper |
| Folded Hasse diagrams of combined traces | 2014-04-15 | Paper |
| Interval Temporal Logic Semantics of Box Algebra | 2014-03-31 | Paper |
| A complete proof system for propositional projection temporal logic | 2014-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2852064 | 2013-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2849576 | 2013-09-20 | Paper |
| Step Persistence in the Design of GALS Systems | 2013-06-28 | Paper |
| A Taxonomy of Persistent and Nonviolent Steps | 2013-06-28 | Paper |
| Step semantics of Boolean nets | 2013-06-26 | Paper |
| Causality in Extensions of Petri Nets | 2013-05-31 | Paper |
| Mutex Causality in Processes and Traces of General Elementary Nets | 2013-04-18 | Paper |
| Minimal Reaction Systems | 2013-04-03 | Paper |
| Reaction Systems: A Natural Computing Approach to the Functioning of Living Cells | 2013-02-26 | Paper |
| ITL semantics of composite Petri nets | 2013-02-21 | Paper |
| A Timed Mobility Semantics Based on Rewriting Strategies | 2013-01-08 | Paper |
| Relevance of Entities in Reaction Systems | 2012-11-01 | Paper |
| Regions of Petri nets with a/sync connections | 2012-10-11 | Paper |
| Step coverability algorithms for communicating systems | 2012-07-13 | Paper |
| Synthesis Problem for Petri Nets with Localities | 2012-06-08 | Paper |
| Localities in systems with a/sync communication | 2012-05-30 | Paper |
| Membrane Systems with Qualitative Evolution Rules | 2011-11-22 | Paper |
| Timed mobility in process algebra and Petri nets | 2011-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3018961 | 2011-07-27 | Paper |
| The Mutex Paradigm of Concurrency | 2011-06-29 | Paper |
| An Algebra of Non-safe Petri Boxes | 2011-05-06 | Paper |
| Minimal Regions of ENL-Transition Systems | 2011-03-09 | Paper |
| Petri Nets with Localities and Testing | 2010-06-22 | Paper |
| Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques | 2010-02-05 | Paper |
| Applying Step Coverability Trees to Communicating Component-Based Systems | 2010-01-28 | Paper |
| A Petri net model for membrane systems with dynamic structure | 2010-01-25 | Paper |
| Synthesis of Nets with Step Firing Policies | 2009-11-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5190782 | 2009-07-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3619260 | 2009-04-03 | Paper |
| Infinite Process Semantics of Inhibitor Nets | 2009-04-02 | Paper |
| Synthesis of Elementary Net Systems with Context Arcs and Localities | 2009-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3601863 | 2009-02-12 | Paper |
| Towards Efficient Verification of Systems with Dynamic Process Creation | 2009-01-27 | Paper |
| Processes of membrane systems with promoters and inhibitors | 2008-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3527017 | 2008-09-25 | Paper |
| Failures: Their Definition, Modelling and Analysis | 2008-09-17 | Paper |
| A Petri Net Translation of π-Calculus Terms | 2008-09-11 | Paper |
| A compositional Petri net translation of general \(\pi\)-calculus terms | 2008-08-21 | Paper |
| Synthesis of Nets with Step Firing Policies | 2008-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3505124 | 2008-06-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3504345 | 2008-06-11 | Paper |
| Framed temporal logic programming | 2008-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5431919 | 2008-01-02 | Paper |
| Transition Systems of Elementary Net Systems with Localities | 2007-09-04 | Paper |
| Synchrony and Asynchrony in Membrane Systems | 2007-09-03 | Paper |
| Verification of bounded Petri nets using integer programming | 2007-04-26 | Paper |
| Merged processes: a new condensed representation of Petri net behaviour | 2006-12-06 | Paper |
| Membrane Computing | 2006-11-13 | Paper |
| CONCUR 2005 – Concurrency Theory | 2006-11-01 | Paper |
| Semantics of inhibitor nets | 2006-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5480167 | 2006-07-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5480176 | 2006-07-26 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| Lectures on Concurrency and Petri Nets | 2005-12-23 | Paper |
| Formal Techniques for Networked and Distributed Systems – FORTE 2004 | 2005-08-18 | Paper |
| Canonical prefixes of Petri net unfoldings | 2004-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4825685 | 2004-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4824481 | 2004-11-01 | Paper |
| Process semantics of general inhibitor nets | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472254 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4461748 | 2004-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4458493 | 2004-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417949 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484509 | 2003-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804927 | 2003-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4791845 | 2003-02-03 | Paper |
| The box algebra = Petri nets + process expressions | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536617 | 2002-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766567 | 2002-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766569 | 2002-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329001 | 2002-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2763981 | 2002-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2760251 | 2001-12-18 | Paper |
| Recursion and Petri nets | 2001-12-13 | Paper |
| Petri net algebra | 2000-08-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4948009 | 2000-06-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4268450 | 1999-10-31 | Paper |
| Operational and denotational semantics for the box algebra | 1999-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222782 | 1998-12-13 | Paper |
| Fundamentals of modelling concurrency using discrete relational structures | 1997-11-17 | Paper |
| Two implementation relations and the correctness of communicating replicated processes | 1997-08-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4858946 | 1996-03-05 | Paper |
| Structure of concurrency | 1993-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037102 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037381 | 1993-05-18 | Paper |
| Petri net semantics of priority systems | 1992-09-26 | Paper |
| Adequacy-preserving transformations of COSY path programs | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3210192 | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3814775 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3774931 | 1987-01-01 | Paper |
| The Merlin-Randell problem of train journeys | 1986-01-01 | Paper |
| Concurrent and maximally concurrent evolution of nonsequential systems | 1986-01-01 | Paper |
| Identification of regular configurations with partial information | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3725542 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3342247 | 1983-01-01 | Paper |
