Current research interests of
Marta Pietkiewicz-Koutny
Synthesis of Petri nets from transition systems
I investigated formal models of
concurrency that are often used in the process of designing asynchronous
circuits. In particular, I aimed at relating various classes of transition
systems and Petri nets. I concentrated on the elementary nets with inhibitor
arcs and elementary nets with self-loops, which are particularly useful for the
modelling of asynchronous circuits. The relationship between transition systems
and Petri nets was established using the notion of a region in the process of
solving the synthesis problem for the appropriate class of nets. Recently,
I extended my previous work to the class of elementary net systems with
localities as well as inhibitor and activator arcs. This has led to the
proposal of new hybrid model of Petri nets where the standard net structure is
augmented with an execution policy (such as maximal concurrency) which governs
the overall behaviour of the system represented by a Petri net.
Synthesis of Elementary Net Systems with Context Arcs and
Localities, Koutny, M. and Pietkiewicz-Koutny,
M., In Petri Nets and Other Models of Concurrency- ICATPN 2007. 28th International
Conference on Applications and Theory of Petri Nets and Other Models of Concurrency,
ICATPN 2007, Siedlce, Poland, June 25-29, 2007 Kleijn,
J. and Yakovlev, A. (eds.), Lecture Notes in
Computer Science Volume 4546 pp. 281-300, Springer-Verlag 2007
Transition
Systems of Elementary Net Systems with Localities, Koutny,
M. and Pietkiewicz-Koutny, M., In CONCUR 2006
- Concurrency Theory. 17th International Conference, CONCUR 2006, Bonn,
Germany, August 27-30, 2006 Baier,
C. and Hermanns, H. (eds.) Lecture Notes in
Computer Science Volume 4137 pp. 173 – 187, Springer 2006
Synthesising Elementary Net Systems with
Inhibitor Arcs from Step Transition Systems, Pietkiewicz-Koutny,
M., Fundamenta Informaticae, Volume
50, Issue 2, pp 175-203, IOS Press, ISSN: 0169-2968, 2002
Synthesis
of Net Systems with Inhibitor Arcs from Step Transition Systems, Pietkiewicz-Koutny,
M., In 2nd International Conference on Application of Concurrency to
System Design (ACSD 2001), Newcastle upon Tyne, UK, 25–30 June 2001 Valmari, A. and Yakovlev,
A. (eds.). pp. 245-254, IEEE Computer Society Press 2001
The Synthesis Problem for Elementary Net Systems
with Inhibitor Arcs, Pietkiewicz-Koutny,
M., Fundamenta Informaticae, Volume
40, Issue 2-3, pp 251-283, IOS Press, ISSN: 0169-2968, 1999
Synthesis
of ENI-systems Using Minimal Regions, Pietkiewicz-Koutny,
M.,In
9th International Conference on Concurrency Theory (CONCUR '98), Nice, France,
8-11 September 1998 Sangiorgi, D.
and de Simone, R. (eds.) Lecture Notes in Computer
Science Volume 1466 pp. 565-580
Springer-Verlag 1998
Transition Systems of Elementary Net Systems with Inhibitor
Arcs, Pietkiewicz-Koutny, M., In 18th
International Conference on Application and Theory of Petri Nets (ICATPN '97),
Toulouse, France, 23-27 June 1997 Azéma,
P. and Balbo, G. (eds.) Lecture Notes in Computer
Science Volume 1248 pp. 310-327
Springer-Verlag 1997
Relating communicating processes with different
interfaces
It is often desirable to
describe the interface of an implementation system at a different (usually more
detailed) level of abstraction to the interface of the relevant specification.
I have been working on the development of an approach to deal with behaviour
abstraction in networks of communicating processes which is, in particular,
suitable for compositional verification.
Compositional
Abstractions for Process Networks, Koutny, M., Pappalardo,
G. and Pietkiewicz-Koutny, International Journal on Computer Science and
Information Systems, to appear in 2008
Compositional
Abstractions for Interacting Processes, Koutny,
M., Pappalardo, G. and Pietkiewicz-Koutny,
M., In International Conference on Principles of
Information Technology and Applications (PITA'08)
Towards an
Algebra of Abstractions for Communicating Processes, Koutny,
M., Pappalardo, G. and Pietkiewicz-Koutny,
M., In Sixth International Conference on Application of Concurrency to
System Design (ACSD 2006), 28-30 June 2006, Turku, Finland Goossens, K. and Petrucci,
L. (eds) pp. 239-250, IEEE Computer
Society 2006
Compositional
Development In the Event of Interface Difference