 | 2008 |
|---|
| 11 |       | Philippe Darondeau,
Maciej Koutny,
Marta Pietkiewicz-Koutny,
Alexandre Yakovlev:
Synthesis of Nets with Step Firing Policies.
Petri Nets 2008: 112-131 |
| 10 | | Maciej Koutny,
Marta Pietkiewicz-Koutny:
Synthesis of Elementary Net Systems with Context Arcs and Localities.
Fundam. Inform. 88(3): 307-328 (2008) |
| 2007 |
|---|
| 9 | | Maciej Koutny,
Marta Pietkiewicz-Koutny:
Synthesis of Elementary Net Systems with Context Arcs and Localities.
ICATPN 2007: 281-300 |
| 2006 |
|---|
| 8 | | Maciej Koutny,
Giuseppe Pappalardo,
Marta Pietkiewicz-Koutny:
Towards an Algebra of Abstractions for Communicating Processes.
ACSD 2006: 239-250 |
| 7 | | Maciej Koutny,
Marta Pietkiewicz-Koutny:
Transition Systems of Elementary Net Systems with Localities.
CONCUR 2006: 173-187 |
| 2002 |
|---|
| 6 |  | Marta Pietkiewicz-Koutny:
Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems.
Fundam. Inform. 50(2): 175-203 (2002) |
| 2001 |
|---|
| 5 | | Marta Pietkiewicz-Koutny:
Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems.
ACSD 2001: 245-254 |
| 1999 |
|---|
| 4 | | Marta Pietkiewicz-Koutny:
The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs.
Fundam. Inform. 40(2-3): 251-283 (1999) |
| 1998 |
|---|
| 3 | | Marta Pietkiewicz-Koutny:
Synthesis of ENI-systems Using Minimal Regions.
CONCUR 1998: 565-580 |
| 1997 |
|---|
| 2 | | Marta Pietkiewicz-Koutny:
Transition Systems of Elementary Net Systems with Inhibitor Arcs.
ICATPN 1997: 310-327 |
| 1996 |
|---|
| 1 | | Alexandre Yakovlev,
Michael Kishinevsky,
Alex Kondratyev,
Luciano Lavagno,
Marta Pietkiewicz-Koutny:
On the Models for Asynchronous Circuit Behaviour with OR Causality.
Formal Methods in System Design 9(3): 189-233 (1996) |
