Compositional
Development In the Event of Interface Difference
Journal
papers
Synthesis
of Nets with Step Firing Policies, Darondeau, P., Koutny, M., Pietkiewicz-Koutny,
M. and Yakovlev, A., Fundamenta
Informaticae, Volume 94, pp. 275-303, 2009
Synthesis
of Petri Nets with Localities, Koutny,
M., Pietkiewicz-Koutny,
M., Scientific Annals of Computer Science, Volume 19, pp 1-23, 2009
Synthesis
of Elementary Net Systems with Context Arcs and Localities, Koutny, M. and Pietkiewicz-Koutny, M., Fundamenta
Informaticae, Volume 88, pp 307-328, 2008
Compositional
Abstractions for Process Networks, Koutny, M., Pappalardo, G. and Pietkiewicz-Koutny, IADIS
International Journal on Computer Science and Information Systems, Volume 3, pp 71-85, 2008
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
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
On the Models for Asynchronous
Circuit Behaviour with OR Causality, Yakovlev, A., Kishinevsky, M., and Kondratyev,
A. et. al., Formal Methods in Systems
Design, Volume 9, Issue 3, pp 189-233, Kluwer
Academic Publishers, ISSN: 0925-9856, 1996
Minimal
Regions of ENL-transition Systems, Koutny, M., Pietkiewicz-Koutny,
M., Concurrency, Specification, and Programming,
CS&P 2009, pp 303-314, 2009
Synthesis
of PTL-nets with Partially Localised Conflicts, Koutny, M., Pietkiewicz-Koutny,
M., International Workshop on Petri Nets and Software
Engineering, PNSE'09, pp 247-254, 2009
Synthesis of Nets with Step Firing Policies, Darondeau, P., Koutny, M., Pietkiewicz-Koutny, M. and Yakovlev, A., In Applications
and Theory of Petri Nets. 29th International Conference, PETRI
NETS 2008, van Hee, K.M. and Valk, R.
(eds.), Lecture Notes in Computer Science, Volume 5062, pp 112-131, 2008
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
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
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
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
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
Technical
reports
CS-TR: 1142 Synthesis of PTL-nets with
Partially Localised Conflicts, Koutny, M., Pietkiewicz-Koutny, M., School of Computing Science, Newcastle University, Mar 2009
CS-TR:
1141 Towards Efficient Synthesis of ENL-systems, Koutny, M., Pietkiewicz-Koutny, M., School of
Computing Science, Newcastle University, Mar 2009
CS-TR:
1080 Synthesis of Nets with Step Firing Policies, Darondeau, P.,
Koutny, M., Pietkiewicz-Koutny, M., Yakovlev, A., School of Computing Science, Newcastle University, Mar 2008
CS-TR: 1000
Synthesis of Elementary Net Systems with Context Arcs and Localities, Koutny, M., Pietkiewicz-Koutny,
M.
School of Computing Science,
CS-TR: 949
Towards an Algebra of Abstractions for Communicating Processes, Koutny, M.,Pappalardo,
G.,Pietkiewicz-Koutny, M.
School of Computing Science,
CS-TR: 948
Transition Systems of Elementary Net Systems with Localities, Koutny, M., Pietkiewicz-Koutny,
M.
School of Computing Science,
CS-TR: 752
Compositional Development in the Event of Interface Difference, J.
Burton, M. Koutny, G. Pappalardo and M. Pietkiewicz-Koutny
Department of Computing Science, Newcastle University, 2001
CS-TR: 673
Synthesis of Net systems with Inhibitor Arcs from Step Transition systems, M. Pietkiewicz-Koutny
Department of Computing Science,
CS-TR: 632
Synthesis of ENI-Systems Using Minimal Regions, M. Pietkiewicz-Koutny
Department of Computing Science,
CS-TR: 613
Morphisms for Inhibitor Nets and Related Transition
Systems, M. Pietkiewicz-Koutny
Department of Computing Science,
CS-TR: 547
Transition Systems of Elementary Net Systems with Inhibitor Arcs, M. Pietkiewicz-Koutny
Department of Computing Science,
CS-TR: 528
Non-Pure Nets and Their Transition Systems, M.
Pietkiewicz-Koutny and A. Yakovlev
Department of Computing Science,
CS-TR: 495
On the Sleep Sets Method for Partial Order Verification of Concurrent Systems, M.
Koutny and M. Pietkiewicz-Koutny
Department of Computing Science, Newcastle University, 1995
CS-TR: 356
Modelling Reconfigurability using Graph Grammars and
Petri Nets, Pietkiewicz-Koutny,
M.
Department of Computing Science,
CS-TR: 261
Modelling Dynamic Reconfiguration in TMR Systems, Pietkiewicz-Koutny,
M.
Department of Computing Science,
Pietkiewicz-Koutny,
M.
Relating Formal Models of Concurrency for the Modelling of Asynchronous
Digital Hardware. Department of Computing Science,