Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Marta Koutny.

Newcastle AuthorsTitleYearFull text
Dr Aishah Ahmed
Dr Marta Koutny
Minimising the Synthesised ENL-systems2022
Dr Aishah Ahmed
Professor Maciej Koutny
Dr Marta Koutny
Synthesising Elementary Net Systems with Localities2022
Professor Maciej Koutny
Dr Marta Koutny
Professor Alex Yakovlev
Asynchrony and Persistence in Reaction Systems2021
Dr Aishah Ahmed
Dr Marta Koutny
Algorithms for the Synthesis of Elementary Net Systems with Localities2020
Professor Maciej Koutny
Dr Marta Koutny
Adding a/sync Places to the Synthesis Procedure for Whole-place Operations Nets with Localities2017
Professor Maciej Koutny
Dr Lukasz Mikulski
Dr Marta Koutny
An Extension of the Taxonomy of Persistent and Nonviolent Steps2017
Professor Maciej Koutny
Dr Marta Koutny
Applying Regions2017
Professor Maciej Koutny
Dr Marta Koutny
Signal Set Tissue Systems and Overlapping Localities2017
Professor Henriette Kleijn
Professor Maciej Koutny
Dr Marta Koutny
Synthesis of Petri Nets With Whole-place Operations and Localities2016
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 Systems2015
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 Synthesis2014
Professor Maciej Koutny
Dr Lukasz Mikulski
Dr Marta Koutny
A Taxonomy of Persistent and Nonviolent Steps2013
Alexandros Konios
Dr Marta Koutny
Modelling Ambient Systems with Coloured Petri Nets2013
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 Systems2013
Johnson Fernandes
Professor Maciej Koutny
Dr Marta Koutny
Dr Danil Sokolov
Professor Alex Yakovlev
et al.
Step Persistence in the Design of GALS Systems2013
Professor Maciej Koutny
Dr Marta Koutny
Step semantics of boolean nets2013
Professor Maciej Koutny
Dr Marta Koutny
Synthesis of Tissue Systems2013
Professor Henriette Kleijn
Professor Maciej Koutny
Dr Marta Koutny
Tissue systems and petri net synthesis2013
Professor Maciej Koutny
Dr Lukasz Mikulski
Dr Marta Koutny
A Taxonomy of Persistent and Nonviolent Steps2012
Professor Maciej Koutny
Dr Marta Koutny
Membrane Systems and Petri Net Synthesis2012
Professor Maciej Koutny
Dr Marta Koutny
Membrane Systems and Petri Net Synthesis2012
Professor Maciej Koutny
Dr Marta Koutny
Regions of Petri nets with a/sync connections2012
Johnson Fernandes
Professor Maciej Koutny
Dr Marta Koutny
Dr Danil Sokolov
Professor Alex Yakovlev
et al.
Step Persistence in the Design of GALS Systems2012
Professor Maciej Koutny
Dr Marta Koutny
Synthesis of General Petri Nets with Localities2012
Professor Maciej Koutny
Dr Marta Koutny
Synthesis Problem for Petri Nets with Localities2012
Dr Marta Koutny
Ambient Systems and Taxonomy Approaches2011
Professor Maciej Koutny
Dr Marta Koutny
Classifying Boolean Nets for Region-based Synthesis2011
Professor Maciej Koutny
Dr Marta Koutny
Regions of Petri Nets with a/sync Connections2011
Professor Maciej Koutny
Dr Marta Koutny
Step Semantics of Boolean Nets2011
Professor Maciej Koutny
Dr Marta Koutny
Synthesis Problem for Petri Nets with Localities2011
Professor Maciej Koutny
Dr Marta Koutny
Minimal Regions of ENL-Transition Systems2010
Dr Marta Koutny
Synthesis of General Petri Nets with Localities2010
Professor Maciej Koutny
Dr Marta Koutny
Synthesis of General Petri Nets with Localities2010
Professor Maciej Koutny
Dr Marta Koutny
Minimal Regions of ENL-transition Systems2009
Professor Maciej Koutny
Dr Marta Koutny
Professor Alex Yakovlev
Synthesis of Nets with Step Firing Policies2009
Dr Marta Koutny
Professor Alex Yakovlev
Synthesis of nets with step firing policies2009
Professor Maciej Koutny
Dr Marta Koutny
Synthesis of Petri Nets with Localities2009
Professor Maciej Koutny
Dr Marta Koutny
Synthesis of PTL-nets with Partially Localised Conflicts2009
Professor Maciej Koutny
Dr Marta Koutny
Synthesis of PTL-nets with Partially Localised Conflicts2009
Professor Maciej Koutny
Dr Marta Koutny
Towards Efficient Synthesis of ENL-systems2009
Professor Maciej Koutny
Dr Marta Koutny
Compositional Abstractions for Process Networks2008
Professor Maciej Koutny
Dr Marta Koutny
Synthesis of Elementary Net Systems with Context Arcs and Localities2008
Professor Maciej Koutny
Dr Marta Koutny
Professor Alex Yakovlev
Synthesis of Nets with Step Firing Policies2008
Professor Maciej Koutny
Dr Marta Koutny
Professor Alex Yakovlev
Synthesis of Nets with Step Firing Policies2008
Professor Maciej Koutny
Dr Marta Koutny
Compositional Abstractions for Interacting Processes2007
Professor Maciej Koutny
Dr Marta Koutny
Synthesis of Elementary Net Systems with Context Arcs and Localities2007
Professor Maciej Koutny
Dr Marta Koutny
Synthesis of Elementary Net Systems with Context Arcs and Localities2007
Professor Maciej Koutny
Dr Marta Koutny
Synthesis of Elementary Net Systems with Context Arcs and Localities2007
Professor Maciej Koutny
Dr Marta Koutny
Towards an Algebra of Abstractions for Communicating Processes2006
Professor Maciej Koutny
Dr Marta Koutny
Towards an Algebra of Abstractions for Communicating Processes2006
Professor Maciej Koutny
Dr Marta Koutny
Transition Systems of Elementary Net Systems with Localities2006
Professor Maciej Koutny
Dr Marta Koutny
Transition Systems of Elementary Net Systems with Localities2006
Dr Jonathan Burton
Professor Maciej Koutny
Dr Marta Koutny
Compositional Development in the Event of Interface Difference2002
Dr Marta Koutny
Synthesising elementary net systems with inhibitor arcs from step transition systems2002
Dr Jonathan Burton
Professor Maciej Koutny
Dr Marta Koutny
Compositional Development in the Event of Interface Difference2001
Dr Marta Koutny
Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems2001
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 systems2000
Dr Marta Koutny
The synthesis problem for elementary net systems with inhibitor arcs1999
Dr Marta Koutny
Synthesis of ENI-systems Using Minimal Regions1998
Dr Marta Koutny
Synthesis of ENI-Systems Using Minimal Regions1998
Dr Marta Koutny
Morphisms for Inhibitor Nets and Related Transition Systems1997
Dr Marta Koutny
Transition Systems of Elementary Net Systems with Inhibitor Arcs1997
Professor Alex Yakovlev
Dr Marta Koutny
On the models for asynchronous circuit behaviour with OR causality1996
Dr Marta Koutny
Transition Systems of Elementary Net Systems with Inhibitor Arcs1996
Dr Marta Koutny
Professor Alex Yakovlev
Non-Pure Nets and Their Transition Systems1995
Professor Maciej Koutny
Dr Marta Koutny
On the Sleep Sets Method for Partial Order Verification of Concurrent Systems1995
Dr Marta Koutny
Modelling Reconfigurability using Graph Grammars and Petri Nets1991
Dr Marta Koutny
Modelling Dynamic Reconfiguration in TMR Systems1988