| 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 |
| State space reduction for dynamic process creation | 2019-02-08 | Paper |
| Adding a/sync places to the synthesis procedure for whole-place operations nets with localities | 2019-02-08 | Paper |
| Synthesis of Petri nets with localities | 2019-02-08 | Paper |
| Petri nets for biologically motivated computing | 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 |
| Invariant structures and dependence relations | 2018-01-19 | Paper |
| Verification of linear-time temporal properties for reaction systems with discrete concentrations | 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 |
| A Petri net semantics of a simple process algebra for mobility | 2013-10-07 | Paper |
| Modelling opacity using Petri nets | 2013-09-20 | Paper |
| A taxonomy of persistent and nonviolent steps | 2013-06-28 | Paper |
| Step persistence in the design of GALS systems | 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 |
| Quotient monoids and concurrent behaviours | 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 |
| A method and tool for design of multi-agent systems | 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 |
| Synthesis of elementary net systems with context arcs and localities | 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 |
| Process semantics for membrane systems | 2008-06-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3504345 | 2008-06-11 | Paper |
| Framed temporal logic programming | 2008-02-04 | Paper |
| Processes of Petri nets with range testing | 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 |
| Petri net semantics of the finite \(\pi\)-calculus terms | 2006-07-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5480167 | 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 |
| A unified model for nets and process algebras | 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 |
| Concurrent and maximally concurrent evolution of nonsequential systems | 1986-01-01 | Paper |
| The Merlin-Randell problem of train journeys | 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 |
