| Publication | Date of Publication | Type |
|---|
Strategies for minimising the synthesised ENL-systems
| 2024-06-05 | Paper |
Transition systems of Elementary Net Systems with inhibitor arcs
| 2022-12-09 | Paper |
Synthesising elementary net systems with localities
Theoretical Computer Science | 2022-02-21 | Paper |
Asynchrony and persistence in reaction systems
Theoretical Computer Science | 2021-08-11 | Paper |
An extension of the taxonomy of persistent and nonviolent steps
Information Sciences | 2020-02-07 | Paper |
Synthesis of Petri nets with localities
| 2019-02-08 | Paper |
Adding a/sync places to the synthesis procedure for whole-place operations nets with localities
Scientific Annals of Computer Science | 2019-02-08 | Paper |
Signal set tissue systems and overlapping localities
Theoretical Computer Science | 2017-12-06 | Paper |
Synthesis of Petri nets with whole-place operations and localities
Theoretical Aspects of Computing – ICTAC 2016 | 2016-12-21 | Paper |
Applying regions
Theoretical Computer Science | 2016-12-19 | Paper |
Persistent and nonviolent steps and the design of GALS systems
Fundamenta Informaticae | 2016-05-11 | Paper |
Tissue Systems and Petri Net Synthesis
Lecture Notes in Computer Science | 2015-11-12 | Paper |
A taxonomy of persistent and nonviolent steps
Application and Theory of Petri Nets and Concurrency | 2013-06-28 | Paper |
Step persistence in the design of GALS systems
Application and Theory of Petri Nets and Concurrency | 2013-06-28 | Paper |
Step semantics of Boolean nets
Acta Informatica | 2013-06-26 | Paper |
Regions of Petri nets with a/sync connections
Theoretical Computer Science | 2012-10-11 | Paper |
Synthesis problem for Petri nets with localities
Lecture Notes in Computer Science | 2012-06-08 | Paper |
Minimal regions of ENL-transition systems
Fundamenta Informaticae | 2011-03-09 | Paper |
Synthesis of nets with step firing policies
Fundamenta Informaticae | 2009-11-30 | Paper |
Synthesis of Elementary Net Systems with Context Arcs and Localities
Petri Nets and Other Models of Concurrency – ICATPN 2007 | 2009-03-11 | Paper |
Synthesis of elementary net systems with context arcs and localities
| 2009-02-12 | Paper |
Synthesis of Nets with Step Firing Policies
Applications and Theory of Petri Nets | 2008-07-03 | Paper |
Transition Systems of Elementary Net Systems with Localities
CONCUR 2006 – Concurrency Theory | 2007-09-04 | Paper |
scientific article; zbMATH DE number 1786642 (Why is no real title available?)
| 2002-10-20 | Paper |
scientific article; zbMATH DE number 1305003 (Why is no real title available?)
| 2000-10-17 | Paper |
scientific article; zbMATH DE number 1435986 (Why is no real title available?)
| 2000-08-21 | Paper |
