| Publication | Date of Publication | Type |
|---|
| Computing a parametric reveals relation for bounded equal-conflict Petri nets | 2024-06-05 | Paper |
| Implementable strategies for a two-player asynchronous game on Petri nets | 2024-06-05 | Paper |
| Property-preserving transformations of elementary net systems based on morphisms | 2022-08-11 | Paper |
| Between quantum logic and concurrency | 2021-06-23 | Paper |
Between quantum logic and concurrency
(available as arXiv preprint) | 2021-06-23 | Paper |
| A two-player asynchronous game on fully observable Petri nets | 2021-06-14 | Paper |
| On stability of regional orthomodular posets | 2021-06-14 | Paper |
| scientific article; zbMATH DE number 7301527 (Why is no real title available?) | 2021-01-26 | Paper |
Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence
Fundamenta Informaticae | 2020-06-21 | Paper |
| Weak observable liveness and infinite games on finite graphs | 2018-08-20 | Paper |
Synthesis of transition systems from quantum logics
Fundamenta Informaticae | 2018-01-19 | Paper |
Non-interference notions based on reveals and excludes relations for Petri nets
Transactions on Petri Nets and Other Models of Concurrency XI | 2017-06-20 | Paper |
On orthomodular posets generated by transition systems
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Modeling Distributed Private Key Generation by Composing Petri Nets
Lecture Notes in Computer Science | 2015-11-12 | Paper |
Closed sets in occurrence nets with conflicts
Fundamenta Informaticae | 2015-06-26 | Paper |
Local state refinement and composition of elementary net systems: an approach based on morphisms
Transactions on Petri Nets and Other Models of Concurrency VIII | 2013-09-17 | Paper |
Closure operators and lattices derived from concurrency in posets and occurrence nets
Fundamenta Informaticae | 2011-03-28 | Paper |
Modular system development with pullbacks
Applications and Theory of Petri Nets 2003 | 2010-03-31 | Paper |
Orthomodular Lattices in Occurrence Nets
Applications and Theory of Petri Nets | 2009-06-30 | Paper |
| A multi-facet approach to dynamic agent systems | 2009-01-28 | Paper |
| scientific article; zbMATH DE number 5286858 (Why is no real title available?) | 2008-06-11 | Paper |
Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets
Membrane Computing | 2008-03-28 | Paper |
| On preserving structural and behavioural properties by composing net systems on interfaces | 2008-01-02 | Paper |
Applications and Theory of Petri Nets 2004
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Recent Trends in Algebraic Development Techniques
Lecture Notes in Computer Science | 2005-11-11 | Paper |
| scientific article; zbMATH DE number 1988986 (Why is no real title available?) | 2003-10-20 | Paper |
An algebraic model of observable properties in distributed systems
Theoretical Computer Science | 2003-01-21 | Paper |
| scientific article; zbMATH DE number 1820089 (Why is no real title available?) | 2002-01-01 | Paper |
| scientific article; zbMATH DE number 1361473 (Why is no real title available?) | 2000-02-01 | Paper |
| scientific article; zbMATH DE number 1304368 (Why is no real title available?) | 1999-06-17 | Paper |
An algebraic characterisation of elementary net system (observable) state space
Formal Aspects of Computing | 1993-02-04 | Paper |
Concurrent bisimulations in Petri nets
Acta Informatica | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4085038 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4045168 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3988725 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3825184 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3825183 (Why is no real title available?) | 1983-01-01 | Paper |
