Marta Pietkiewicz-Koutny

39 papers B 5C 1Journal 20Unranked 12
YearRankTypeTitle / Venue / Authors
2025 — conf
Interval Order Synthesis of EN-Systems with Read and Mutex Arcs.
PNSE/ATAED/PeNGE@PETRI NETS
Maciej Koutny, Marta Pietkiewicz-Koutny, Lukasz Mikulski
2024 — conf
Synthesising ENI-Systems with Interval Order Semantics.
PNSE@Petri Nets
Maciej Koutny, Marta Pietkiewicz-Koutny
2023 J jnl
Strategies for Minimising the Synthesised ENL-Systems.
Trans. Petri Nets Other Model. Concurr.
Aishah Ahmed, Marta Pietkiewicz-Koutny
2023 — conf
Synthesising Elementary Net Systems with Interval Order Semantics.
ATAED/PN4TT@Petri Nets
Marta Pietkiewicz-Koutny, Maciej Koutny
2022 — conf
Minimising the Synthesised ENL-Systems.
ATAED@Petri Nets
Aishah Ahmed, Marta Pietkiewicz-Koutny
2022 J jnl
Synthesising elementary net systems with localities.
Theor. Comput. Sci.
Aishah Ahmed, Maciej Koutny, Marta Pietkiewicz-Koutny
2021 J jnl
Asynchrony and persistence in reaction systems.
Theor. Comput. Sci.
Maciej Koutny, Marta Pietkiewicz-Koutny, Alex Yakovlev
2020 — conf
Algorithms for the Synthesis of Elementary Net Systems with Localities.
PNSE@Petri Nets
Aishah Ahmed, Marta Pietkiewicz-Koutny
2017 J jnl
Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities.
Sci. Ann. Comput. Sci.
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
2017 J jnl
An extension of the taxonomy of persistent and nonviolent steps.
Inf. Sci.
Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny
2017 J jnl
Applying regions.
Theor. Comput. Sci.
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg
2017 J jnl
Signal set tissue systems and overlapping localities.
Theor. Comput. Sci.
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
2016 C conf
Synthesis of Petri Nets with Whole-Place Operations and Localities.
ICTAC
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
2015 J jnl
Persistent and Nonviolent Steps and the Design of GALS Systems.
Fundam. Informaticae
Johnson Fernandes, Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev
2014 J jnl
Introduction to Special Issue on Application of Concurrency to System Design (ACSD'13).
ACM Trans. Embed. Comput. Syst.
Josep Carmona, Mihai Teodor Lazarescu, Marta Pietkiewicz-Koutny
2014 J jnl
Tissue Systems and Petri Net Synthesis.
Trans. Petri Nets Other Model. Concurr.
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
2013 — ed.
13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, 8-10 July, 2013
ACSD
Josep Carmona, Mihai T. Lazarescu, Marta Pietkiewicz-Koutny
2013 B conf
A Taxonomy of Persistent and Nonviolent Steps.
Petri Nets
Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny
2013 B conf
Step Persistence in the Design of GALS Systems.
Petri Nets
Johnson Fernandes, Maciej Koutny, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev
2013 J jnl
Step semantics of boolean nets.
Acta Informatica
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg
2012 — conf
Membrane Systems and Petri Net Synthesis
MeCBIC
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg
2012 J jnl
Regions of Petri nets with a/sync connections.
Theor. Comput. Sci.
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
2012 J jnl
Synthesis Problem for Petri Nets with Localities.
Trans. Petri Nets Other Model. Concurr.
Maciej Koutny, Marta Pietkiewicz-Koutny
2011 — conf
Classifying Boolean Nets for Region-based Synthesis.
ART @ Petri Nets
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg
2010 J jnl
Minimal Regions of ENL-Transition Systems.
Fundam. Informaticae
Maciej Koutny, Marta Pietkiewicz-Koutny
2010 — conf
Synthesis of General Petri Nets with Localities.
ACSD/Petri Nets Workshops
Maciej Koutny, Marta Pietkiewicz-Koutny
2009 J jnl
Synthesis of Nets with Step Firing Policies.
Fundam. Informaticae
Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev
2009 J jnl
Synthesis of Petri Nets with Localities.
Sci. Ann. Comput. Sci.
Maciej Koutny, Marta Pietkiewicz-Koutny
2008 J jnl
Synthesis of Elementary Net Systems with Context Arcs and Localities.
Fundam. Informaticae
Maciej Koutny, Marta Pietkiewicz-Koutny
2008 B conf
Synthesis of Nets with Step Firing Policies.
Petri Nets
Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev
2007 — conf
Synthesis of Elementary Net Systems with Context Arcs and Localities.
ICATPN
Maciej Koutny, Marta Pietkiewicz-Koutny
2006 — conf
Towards an Algebra of Abstractions for Communicating Processes.
ACSD
Maciej Koutny, Giuseppe Pappalardo, Marta Pietkiewicz-Koutny
2006 B conf
Transition Systems of Elementary Net Systems with Localities.
CONCUR
Maciej Koutny, Marta Pietkiewicz-Koutny
2002 J jnl
Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems.
Fundam. Informaticae
Marta Pietkiewicz-Koutny
2001 — conf
Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems.
ACSD
Marta Pietkiewicz-Koutny
1999 J jnl
The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs.
Fundam. Informaticae
Marta Pietkiewicz-Koutny
1998 B conf
Synthesis of ENI-systems Using Minimal Regions.
CONCUR
Marta Pietkiewicz-Koutny
1997 — conf
Transition Systems of Elementary Net Systems with Inhibitor Arcs.
ICATPN
Marta Pietkiewicz-Koutny
1996 J jnl
On the Models for Asynchronous Circuit Behaviour with OR Causality.
Formal Methods Syst. Des.
Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Marta Pietkiewicz-Koutny