Newcastle University
Toggle Main Menu
Toggle Search
Home
Browse
Latest
Policies
About
Home
Browse
Latest
Policies
About
ePrints
Browse by author
Browsing publications by
Professor Henriette Kleijn
Newcastle Authors
Title
Year
Full text
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
1
2
