Publications by Dr Marta Koutny - ePrints

Browsing publications by Dr Marta Koutny.

Newcastle Authors	Title	Year
Dr Aishah Ahmed Dr Marta Koutny	Minimising the Synthesised ENL-systems	2022
Dr Aishah Ahmed Professor Maciej Koutny Dr Marta Koutny	Synthesising Elementary Net Systems with Localities	2022
Professor Maciej Koutny Dr Marta Koutny Professor Alex Yakovlev	Asynchrony and Persistence in Reaction Systems	2021
Dr Aishah Ahmed Dr Marta Koutny	Algorithms for the Synthesis of Elementary Net Systems with Localities	2020
Professor Maciej Koutny Dr Marta Koutny	Adding a/sync Places to the Synthesis Procedure for Whole-place Operations Nets with Localities	2017
Professor Maciej Koutny Dr Lukasz Mikulski Dr Marta Koutny	An Extension of the Taxonomy of Persistent and Nonviolent Steps	2017
Professor Maciej Koutny Dr Marta Koutny	Applying Regions	2017
Professor Maciej Koutny Dr Marta Koutny	Signal Set Tissue Systems and Overlapping Localities	2017
Professor Henriette Kleijn Professor Maciej Koutny Dr Marta Koutny	Synthesis of Petri Nets With Whole-place Operations and Localities	2016
Johnson Fernandes Professor Maciej Koutny Dr Lukasz Mikulski Dr Marta Koutny Dr Danil Sokolov et al.	Persistent and Non-violent Steps and the Design of GALS Systems	2015
Dr Marta Koutny	Introduction to special issue on Application of Concurrency to System Design (ACSD'13)	2014
Professor Maciej Koutny Dr Marta Koutny	Tissue Systems and Petri Net Synthesis	2014
Professor Maciej Koutny Dr Lukasz Mikulski Dr Marta Koutny	A Taxonomy of Persistent and Nonviolent Steps	2013
Alexandros Konios Dr Marta Koutny	Modelling Ambient Systems with Coloured Petri Nets	2013
Johnson Fernandes Professor Maciej Koutny Dr Lukasz Mikulski Dr Marta Koutny Dr Danil Sokolov et al.	Persistent and Nonviolent Steps and the Design of GALS Systems	2013
Johnson Fernandes Professor Maciej Koutny Dr Marta Koutny Dr Danil Sokolov Professor Alex Yakovlev et al.	Step Persistence in the Design of GALS Systems	2013
Professor Maciej Koutny Dr Marta Koutny	Step semantics of boolean nets	2013
Professor Maciej Koutny Dr Marta Koutny	Synthesis of Tissue Systems	2013
Professor Henriette Kleijn Professor Maciej Koutny Dr Marta Koutny	Tissue systems and petri net synthesis	2013
Professor Maciej Koutny Dr Lukasz Mikulski Dr Marta Koutny	A Taxonomy of Persistent and Nonviolent Steps	2012
Professor Maciej Koutny Dr Marta Koutny	Membrane Systems and Petri Net Synthesis	2012
Professor Maciej Koutny Dr Marta Koutny	Membrane Systems and Petri Net Synthesis	2012
Professor Maciej Koutny Dr Marta Koutny	Regions of Petri nets with a/sync connections	2012
Johnson Fernandes Professor Maciej Koutny Dr Marta Koutny Dr Danil Sokolov Professor Alex Yakovlev et al.	Step Persistence in the Design of GALS Systems	2012
Professor Maciej Koutny Dr Marta Koutny	Synthesis of General Petri Nets with Localities	2012
Professor Maciej Koutny Dr Marta Koutny	Synthesis Problem for Petri Nets with Localities	2012
Dr Marta Koutny	Ambient Systems and Taxonomy Approaches	2011
Professor Maciej Koutny Dr Marta Koutny	Classifying Boolean Nets for Region-based Synthesis	2011
Professor Maciej Koutny Dr Marta Koutny	Regions of Petri Nets with a/sync Connections	2011
Professor Maciej Koutny Dr Marta Koutny	Step Semantics of Boolean Nets	2011
Professor Maciej Koutny Dr Marta Koutny	Synthesis Problem for Petri Nets with Localities	2011
Professor Maciej Koutny Dr Marta Koutny	Minimal Regions of ENL-Transition Systems	2010
Dr Marta Koutny	Synthesis of General Petri Nets with Localities	2010
Professor Maciej Koutny Dr Marta Koutny	Synthesis of General Petri Nets with Localities	2010
Professor Maciej Koutny Dr Marta Koutny	Minimal Regions of ENL-transition Systems	2009
Professor Maciej Koutny Dr Marta Koutny Professor Alex Yakovlev	Synthesis of Nets with Step Firing Policies	2009
Dr Marta Koutny Professor Alex Yakovlev	Synthesis of nets with step firing policies	2009
Professor Maciej Koutny Dr Marta Koutny	Synthesis of Petri Nets with Localities	2009
Professor Maciej Koutny Dr Marta Koutny	Synthesis of PTL-nets with Partially Localised Conflicts	2009
Professor Maciej Koutny Dr Marta Koutny	Synthesis of PTL-nets with Partially Localised Conflicts	2009
Professor Maciej Koutny Dr Marta Koutny	Towards Efficient Synthesis of ENL-systems	2009
Professor Maciej Koutny Dr Marta Koutny	Compositional Abstractions for Process Networks	2008
Professor Maciej Koutny Dr Marta Koutny	Synthesis of Elementary Net Systems with Context Arcs and Localities	2008
Professor Maciej Koutny Dr Marta Koutny Professor Alex Yakovlev	Synthesis of Nets with Step Firing Policies	2008
Professor Maciej Koutny Dr Marta Koutny Professor Alex Yakovlev	Synthesis of Nets with Step Firing Policies	2008
Professor Maciej Koutny Dr Marta Koutny	Compositional Abstractions for Interacting Processes	2007
Professor Maciej Koutny Dr Marta Koutny	Synthesis of Elementary Net Systems with Context Arcs and Localities	2007
Professor Maciej Koutny Dr Marta Koutny	Synthesis of Elementary Net Systems with Context Arcs and Localities	2007
Professor Maciej Koutny Dr Marta Koutny	Synthesis of Elementary Net Systems with Context Arcs and Localities	2007
Professor Maciej Koutny Dr Marta Koutny	Towards an Algebra of Abstractions for Communicating Processes	2006
Professor Maciej Koutny Dr Marta Koutny	Towards an Algebra of Abstractions for Communicating Processes	2006
Professor Maciej Koutny Dr Marta Koutny	Transition Systems of Elementary Net Systems with Localities	2006
Professor Maciej Koutny Dr Marta Koutny	Transition Systems of Elementary Net Systems with Localities	2006
Dr Jonathan Burton Professor Maciej Koutny Dr Marta Koutny	Compositional Development in the Event of Interface Difference	2002
Dr Marta Koutny	Synthesising elementary net systems with inhibitor arcs from step transition systems	2002
Dr Jonathan Burton Professor Maciej Koutny Dr Marta Koutny	Compositional Development in the Event of Interface Difference	2001
Dr Marta Koutny	Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems	2001
Dr Marta Koutny	Relating Formal Models of Concurrency for the Modelling of Asynchronous Digital Hardware [PhD thesis]	2000
Dr Marta Koutny	Synthesis of Net systems with Inhibitor Arcs from Step Transition systems	2000
Dr Marta Koutny	The synthesis problem for elementary net systems with inhibitor arcs	1999
Dr Marta Koutny	Synthesis of ENI-systems Using Minimal Regions	1998
Dr Marta Koutny	Synthesis of ENI-Systems Using Minimal Regions	1998
Dr Marta Koutny	Morphisms for Inhibitor Nets and Related Transition Systems	1997
Dr Marta Koutny	Transition Systems of Elementary Net Systems with Inhibitor Arcs	1997
Professor Alex Yakovlev Dr Marta Koutny	On the models for asynchronous circuit behaviour with OR causality	1996
Dr Marta Koutny	Transition Systems of Elementary Net Systems with Inhibitor Arcs	1996
Dr Marta Koutny Professor Alex Yakovlev	Non-Pure Nets and Their Transition Systems	1995
Professor Maciej Koutny Dr Marta Koutny	On the Sleep Sets Method for Partial Order Verification of Concurrent Systems	1995
Dr Marta Koutny	Modelling Reconfigurability using Graph Grammars and Petri Nets	1991
Dr Marta Koutny	Modelling Dynamic Reconfiguration in TMR Systems	1988