Marta Pietkiewicz-Koutny

According to our database, Marta Pietkiewicz-Koutny authored at least 35 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Synthesising ENI-Systems with Interval Order Semantics.

Maciej Koutny, Marta Pietkiewicz-Koutny

Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), June 24, 2024

2023

Strategies for Minimising the Synthesised ENL-Systems.

Aishah Ahmed, Marta Pietkiewicz-Koutny

Trans. Petri Nets Other Model. Concurr., 2023

Synthesising Elementary Net Systems with Interval Order Semantics.

Marta Pietkiewicz-Koutny, Maciej Koutny

Proceedings of the Joint Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), 2023

2022

Synthesising elementary net systems with localities.

Aishah Ahmed, Maciej Koutny, Marta Pietkiewicz-Koutny

Theor. Comput. Sci., 2022

Minimising the Synthesised ENL-Systems.

Aishah Ahmed, Marta Pietkiewicz-Koutny

Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2022), 2022

2021

Asynchrony and persistence in reaction systems.

Maciej Koutny, Marta Pietkiewicz-Koutny, Alex Yakovlev

Theor. Comput. Sci., 2021

2020

Algorithms for the Synthesis of Elementary Net Systems with Localities.

Aishah Ahmed, Marta Pietkiewicz-Koutny

Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), 2020

2017

Applying regions.

Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg

Theor. Comput. Sci., 2017

Signal set tissue systems and overlapping localities.

Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny

Theor. Comput. Sci., 2017

An extension of the taxonomy of persistent and nonviolent steps.

Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny

Inf. Sci., 2017

Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities.

Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny

Sci. Ann. Comput. Sci., 2017

2016

Synthesis of Petri Nets with Whole-Place Operations and Localities.

Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2015

Persistent and Nonviolent Steps and the Design of GALS Systems.

Johnson Fernandes, Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev

Fundam. Informaticae, 2015

2014

Tissue Systems and Petri Net Synthesis.

Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny

Trans. Petri Nets Other Model. Concurr., 2014

Introduction to Special Issue on Application of Concurrency to System Design (ACSD'13).

Josep Carmona, Mihai Teodor Lazarescu, Marta Pietkiewicz-Koutny

ACM Trans. Embed. Comput. Syst., 2014

2013

Step semantics of boolean nets.

Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg

Acta Informatica, 2013

A Taxonomy of Persistent and Nonviolent Steps.

Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

Step Persistence in the Design of GALS Systems.

Johnson Fernandes, Maciej Koutny, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012

Synthesis Problem for Petri Nets with Localities.

Maciej Koutny, Marta Pietkiewicz-Koutny

Trans. Petri Nets Other Model. Concurr., 2012

Regions of Petri nets with a/sync connections.

Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny

Theor. Comput. Sci., 2012

Membrane Systems and Petri Net Synthesis

Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg

Proceedings of the Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2012

2011

Classifying Boolean Nets for Region-based Synthesis.

Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg

Proceedings of the Workshop Applications of Region Theory 2011, 2011

2010

Minimal Regions of ENL-Transition Systems.

Maciej Koutny, Marta Pietkiewicz-Koutny

Fundam. Informaticae, 2010

Synthesis of General Petri Nets with Localities.

Maciej Koutny, Marta Pietkiewicz-Koutny

Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

2009

Synthesis of Nets with Step Firing Policies.

Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev

Fundam. Informaticae, 2009

Synthesis of Petri Nets with Localities.

Maciej Koutny, Marta Pietkiewicz-Koutny

Sci. Ann. Comput. Sci., 2009

2008

Synthesis of Elementary Net Systems with Context Arcs and Localities.

Maciej Koutny, Marta Pietkiewicz-Koutny

Fundam. Informaticae, 2008

2006

Transition Systems of Elementary Net Systems with Localities.

Maciej Koutny, Marta Pietkiewicz-Koutny

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

Towards an Algebra of Abstractions for Communicating Processes.

Maciej Koutny, Giuseppe Pappalardo, Marta Pietkiewicz-Koutny

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2002

Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems.

Marta Pietkiewicz-Koutny

Fundam. Informaticae, 2002

2001

Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems.

Marta Pietkiewicz-Koutny

Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 2001

1999

The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs.

Marta Pietkiewicz-Koutny

Fundam. Informaticae, 1999

1998

Synthesis of ENI-systems Using Minimal Regions.

Marta Pietkiewicz-Koutny

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997

Transition Systems of Elementary Net Systems with Inhibitor Arcs.

Marta Pietkiewicz-Koutny

Proceedings of the Application and Theory of Petri Nets 1997, 1997

1996

On the Models for Asynchronous Circuit Behaviour with OR Causality.

Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Marta Pietkiewicz-Koutny

Formal Methods Syst. Des., 1996