| 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 |
Polynomial algorithms for the synthesis of bounded nets
TAPSOFT '95: Theory and Practice of Software Development | 2022-08-18 | Paper |
Property-preserving transformations of elementary net systems based on morphisms
| 2022-08-11 | Paper |
Topics in region theory and synthesis problems
| 2022-03-21 | Paper |
Between quantum logic and concurrency
| 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 |
Petri net synthesis
Texts in Theoretical Computer Science. An EATCS Series | 2015-12-16 | 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 |
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 |
The synthesis problem for elementary net systems is NP-complete
Theoretical Computer Science | 1998-06-30 | Paper |
