Publications by Professor Henriette Kleijn - ePrints

Browsing publications by Professor Henriette Kleijn.

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