| Publication | Date of Publication | Type |
|---|
| An efficient state space construction for a class of timed automata | 2024-06-05 | Paper |
| High level expressions with their SOS semantics | 2023-05-17 | Paper |
| Communication as unification in the Petri Box Calculus | 2022-12-09 | Paper |
| M-net Calculus Based Semantics for Triggers | 2022-12-09 | Paper |
| Layered memory automata: recognizers for quasi-regular languages with unbounded memory | 2022-08-19 | Paper |
| A class of composable high level Petri nets | 2022-08-16 | Paper |
| Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks | 2021-05-20 | Paper |
| Pattern matching in link streams: a token-based approach | 2019-12-18 | Paper |
| From Box Algebra to Interval Temporal Logic | 2019-10-31 | Paper |
| Pattern Matching in Link Streams: Timed-Automata with Finite Memory | 2019-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4621142 | 2019-02-08 | Paper |
| Activity Networks with Delays an Application to Toxicity Analysis | 2018-07-18 | Paper |
| Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata | 2018-02-16 | Paper |
| Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters | 2015-03-19 | Paper |
| Interval Temporal Logic Semantics of Box Algebra | 2014-03-31 | Paper |
| A Petri net semantics of a simple process algebra for mobility | 2013-10-07 | Paper |
| Petri nets with causal time for system verification | 2013-08-16 | Paper |
| A Petri Net Interpretation of Open Reconfigurable Systems | 2013-04-18 | Paper |
| ITL semantics of composite Petri nets | 2013-02-21 | Paper |
| Integrated regulatory networks (IRNs): spatially organized biochemical modules | 2012-05-30 | Paper |
| A Petri Net Interpretation of Open Reconfigurable Systems | 2011-06-29 | Paper |
| An Algebra of Non-safe Petri Boxes | 2011-05-06 | Paper |
| Integrated Formal Methods | 2009-05-07 | Paper |
| M-nets: a survey | 2009-03-20 | Paper |
| Towards Efficient Verification of Systems with Dynamic Process Creation | 2009-01-27 | 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 |
| Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets | 2008-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5480176 | 2006-07-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5472874 | 2006-06-19 | Paper |
| Applications and Theory of Petri Nets 2005 | 2005-12-14 | Paper |
| Formal Techniques for Networked and Distributed Systems – FORTE 2004 | 2005-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471926 | 2004-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4461748 | 2004-05-18 | Paper |
| General parameterised refinement and recursion for the M-net calculus | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4547959 | 2002-10-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535178 | 2002-06-13 | Paper |
| Compositional high-level Petri net semantics of a parallel programming language with procedures | 2002-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501583 | 2001-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4500366 | 2000-09-04 | Paper |
| M-nets: An algebra of high-level Petri-nets, with an application to the semantics of concurrent programming languages | 1999-06-13 | Paper |
