Professor Henriette Kleijn Emeritus Professor Maciej Koutny
| Plug-in context providers for reaction systems | 2020 |
|
Professor Henriette Kleijn Emeritus Professor Maciej Koutny Dr Lukasz Mikulski
| Reaction Systems and Enabling Equivalence | 2020 |
|
Professor Henriette Kleijn Emeritus Professor Maciej Koutny Dr Lukasz Mikulski
| Invariant Structures and Dependence Relations | 2017 |
|
Professor Henriette Kleijn Emeritus Professor Maciej Koutny Dr Marta Koutny
| Synthesis of Petri Nets With Whole-place Operations and Localities | 2016 |
|
Professor Henriette Kleijn Emeritus Professor Maciej Koutny Dr Marta Koutny
| Tissue systems and petri net synthesis | 2013 |
|
Professor Henriette Kleijn Emeritus Professor Maciej Koutny
| Causality in Extensions of Petri Nets | 2011 |
|
Professor Henriette Kleijn Emeritus Professor Maciej Koutny
| Causality in Structured Occurrence Nets | 2011 |
|
Professor Henriette Kleijn Emeritus Professor Maciej Koutny
| Coverability and Inhibitor Arcs: an example | 2011 |
|
Professor Henriette Kleijn Emeritus Professor Maciej Koutny
| Localities in Systems with a/sync Communication | 2011 |
|
Professor Henriette Kleijn Emeritus Professor Maciej Koutny
| Membrane Systems with Qualitative Evolution Rules | 2011 |
|
Professor Henriette Kleijn Emeritus Professor Maciej Koutny
| Mutex Causality in Processes and Traces of General Elementary Nets | 2011 |
|
Professor Henriette Kleijn Emeritus Professor Maciej Koutny
| Petri Nets for Biologically Motivated Computing | 2011 |
|
Professor Henriette Kleijn Emeritus Professor Maciej Koutny
| Relevance of Entities in Reaction Systems | 2011 |
|
Professor Henriette Kleijn Emeritus Professor Maciej Koutny
| The Mutex Paradigm of Concurrency | 2011 |
|
Professor Henriette Kleijn Emeritus Professor Maciej Koutny
| Applying Step Coverability Trees to Communicating Component-Based Systems | 2009 |
|
Professor Henriette Kleijn Emeritus Professor Maciej Koutny
| Steps and Coverability in Inhibitor Nets | 2009 |
|
Professor Henriette Kleijn Emeritus Professor Maciej Koutny
| CHINA 2008 (Concurrency metHods: Issues aNd Applications) | 2008 |
|
Professor Henriette Kleijn Emeritus Professor Maciej Koutny
| Steps and Coverability in Inhibitor Nets | 2008 |
|
Professor Henriette Kleijn Emeritus Professor Maciej Koutny
| Infinite Process Semantics of Inhibitor Nets | 2006 |
|
Professor Henriette Kleijn Emeritus Professor Maciej Koutny
| Processes of Petri Nets with Localities | 2006 |
|
Professor Henriette Kleijn
| Towards a Petri Net Semantics for Membrane Systems | 2006 |
|
Professor Henriette Kleijn Emeritus Professor Maciej Koutny
| Towards a Petri net semantics for membrane systems | 2006 |
|
Professor Henriette Kleijn Emeritus Professor Maciej Koutny
| Towards a Petri net semantics for membrane systems | 2005 |
|
Professor Henriette Kleijn Emeritus Professor Maciej Koutny
| Process semantics of general inhibitor nets | 2004 |
|
Professor Henriette Kleijn Emeritus Professor Maciej Koutny
| Causality Semantics of Petri Nets with Weighted Inhibitor Arcs | 2002 |
|
Professor Henriette Kleijn Emeritus Professor Maciej Koutny
| Process Semantics of General Inhibitor Nets | 2002 |
|
Professor Henriette Kleijn
| Process Semantics of P/T-Nets with Inhibitor Arcs | 2000 |
|