| Publication | Date of Publication | Type |
|---|
| Composition: a fresh look at an old topic | 2023-08-02 | Paper |
| Modelling and verification of Distributed Algorithms | 2023-06-28 | Paper |
| Associative composition of components with double-sided interfaces | 2019-03-21 | Paper |
| Computation semantics of the functional scientific workflow language Cuneiform | 2018-08-03 | Paper |
| In Memoriam: Carl Adam Petri | 2013-05-31 | Paper |
| The Synthesis Problem | 2013-05-31 | Paper |
| Understanding Petri Nets | 2013-03-20 | Paper |
| Yuri, Logic, and Computer Science | 2010-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3575995 | 2010-07-28 | Paper |
| An ASM-Characterization of a Class of Distributed Algorithms | 2010-01-28 | Paper |
| Simple Composition of Nets | 2009-06-30 | Paper |
| Compensation in Workflow Nets | 2009-04-02 | Paper |
| How Expressive Are Petri Net Schemata? | 2009-04-02 | Paper |
| A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines | 2009-03-10 | Paper |
| The computable kernel of abstract state machines | 2008-12-12 | Paper |
| Services as a Paradigm of Computation | 2008-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3504350 | 2008-06-11 | Paper |
| The Scholten/Dijkstra Pebble Game Played Straightly, Distributedly, Online and Reversed | 2008-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5431923 | 2008-01-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4680195 | 2006-06-02 | Paper |
| Applications and Theory of Petri Nets 2005 | 2005-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474018 | 2004-08-04 | Paper |
| On Gurevich's theorem on sequential algorithms | 2004-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4431372 | 2003-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413708 | 2003-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753705 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247286 | 1999-06-16 | Paper |
| Petri net based verification of distributed algorithms: An example | 1998-06-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4353630 | 1998-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4372017 | 1998-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4371026 | 1998-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3129285 | 1997-04-27 | Paper |
| The synthesis problem of Petri nets | 1995-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281514 | 1994-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4003214 | 1993-01-23 | Paper |
| Petri nets and algebraic specifications | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733433 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3814798 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3835043 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3030246 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3766862 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3774955 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3774956 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3774957 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3740251 | 1986-01-01 | Paper |
| Petri nets with individual tokens | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3219122 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3681946 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3687725 | 1985-01-01 | Paper |
| Petri-Netze: ein Abriss ihrer Grundlagen und Anwendungen. I | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3731015 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3341915 | 1983-01-01 | Paper |
| The non-sequential behaviour of Petri nets | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3670575 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3674068 | 1983-01-01 | Paper |
| Deterministic buffer synchronization of sequential processes | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3940855 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3902496 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3885173 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3907081 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3914419 | 1980-01-01 | Paper |
| A note on the representation of finite tree automata | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4141230 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4152524 | 1975-01-01 | Paper |
