Marta Pietkiewicz-Koutny
Marta Pietkiewicz-Koutny
Bestätigte E-Mail-Adresse bei ncl.ac.uk
Titel
Zitiert von
Zitiert von
Jahr
On the models for asynchronous circuit behaviour with OR causality
A Yakovlev, M Kishinevsky, A Kondratyev, L Lavagno, ...
Formal Methods in System Design 9 (3), 189-233, 1996
801996
The synthesis problem for elementary net systems with inhibitor arcs
M Pietkiewicz-Koutny
Fundamenta Informaticae 40 (2, 3), 251-283, 1999
301999
Synthesis of nets with step firing policies
P Darondeau, M Koutny, M Pietkiewicz-Koutny, A Yakovlev
Fundamenta Informaticae 94 (3-4), 275-303, 2009
292009
Transition systems of elementary net systems with inhibitor arcs
M Pietkiewicz-Koutny
International Conference on Application and Theory of Petri Nets, 310-327, 1997
281997
Synthesis of Petri nets with localities
M Koutny, M Pietkiewicz-Koutny
Scientific Annals of Computer Science 19, 1, 2009
222009
Transition systems of elementary net systems with localities
M Koutny, M Pietkiewicz-Koutny
International Conference on Concurrency Theory, 173-187, 2006
182006
Synthesis of Elementary Net Systems with Context Arcs and Localities
M Koutny, M Pietkiewicz-Koutny
Fundamenta Informaticae 88 (3), 307-328, 2008
152008
Step semantics of boolean nets
J Kleijn, M Koutny, M Pietkiewicz-Koutny, G Rozenberg
Acta informatica 50 (1), 15-39, 2013
142013
Synthesising elementary net systems with inhibitor arcs from step transition systems
M Pietkiewicz-Koutny
Fundamenta Informaticae 50 (2), 175-203, 2002
122002
Synthesis of nets with step firing policies
P Darondeau, M Koutny, M Pietkiewicz-Koutny, A Yakovlev
International Conference on Applications and Theory of Petri Nets, 112-131, 2008
102008
Applying regions
J Kleijn, M Koutny, M Pietkiewicz-Koutny, G Rozenberg
Theoretical Computer Science 658, 205-215, 2017
92017
Persistent and nonviolent steps and the design of GALS systems
J Fernandes, M Koutny, Ł Mikulski, M Pietkiewicz-Koutny, D Sokolov, ...
Fundamenta Informaticae 137 (1), 143-170, 2015
92015
Regions of Petri nets with a/sync connections
J Kleijn, M Koutny, M Pietkiewicz-Koutny
Theoretical Computer Science 454, 189-198, 2012
82012
A taxonomy of persistent and nonviolent steps
M Koutny, Ł Mikulski, M Pietkiewicz-Koutny
International Conference on Applications and Theory of Petri Nets and …, 2013
72013
Synthesis of ENI-systems using minimal regions
M Pietkiewicz-Koutny
International Conference on Concurrency Theory, 565-580, 1998
71998
Compositional Development in the Event of Interface Difference
J Burton, M Koutny, G Pappalardo, M Pietkiewicz-Koutny
Concurrency in Dependable Computing, 3-22, 2002
62002
Non-pure nets and their transition systems
M Pietkiewicz-Koutny, A Yakovlev
TECHNICAL REPORT SERIES-UNIVERSITY OF NEWCASTLE UPON TYNE COMPUTING SCIENCE, 1995
61995
Step persistence in the design of GALS systems
J Fernandes, M Koutny, M Pietkiewicz-Koutny, D Sokolov, A Yakovlev
International Conference on Applications and Theory of Petri Nets and …, 2013
52013
On the sleep sets method for partial order verification of concurrent systems
M Koutny, M Pietkiewicz-Koutny
University of Newcastle upon Tyne. Computing Laboratory, 1995
51995
Tissue systems and Petri net synthesis
J Kleijn, M Koutny, M Pietkiewicz-Koutny
Transactions on Petri Nets and Other Models of Concurrency IX, 124-146, 2014
42014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20