Подписаться
Marta Pietkiewicz-Koutny
Marta Pietkiewicz-Koutny
Подтвержден адрес электронной почты в домене ncl.ac.uk
Название
Процитировано
Процитировано
Год
On the models for asynchronous circuit behaviour with OR causality
A Yakovlev, M Kishinevsky, A Kondratyev, L Lavagno, ...
Formal Methods in System Design 9, 189-233, 1996
841996
The synthesis problem for elementary net systems with inhibitor arcs
M Pietkiewicz-Koutny
Fundamenta Informaticae 40 (2-3), 251-283, 1999
391999
Synthesis of nets with step firing policies
P Darondeau, M Koutny, M Pietkiewicz-Koutny, A Yakovlev
Fundamenta Informaticae 94 (3-4), 275-303, 2009
342009
Transition systems of elementary net systems with inhibitor arcs
M Pietkiewicz-Koutny
Application and Theory of Petri Nets 1997: 18th International Conference …, 1997
341997
Synthesis of Petri nets with localities
M Koutny, M Pietkiewicz-Koutny
Scientific Annals of Computer Science 19, 1, 2009
272009
Transition systems of elementary net systems with localities
M Koutny, M Pietkiewicz-Koutny
CONCUR 2006–Concurrency Theory: 17th International Conference, CONCUR 2006 …, 2006
242006
Synthesis of elementary net systems with context arcs and localities
M Koutny, M Pietkiewicz-Koutny
Fundamenta Informaticae 88 (3), 307-328, 2008
202008
Step semantics of boolean nets
J Kleijn, M Koutny, M Pietkiewicz-Koutny, G Rozenberg
Acta Informatica 50, 15-39, 2013
192013
Synthesising elementary net systems with inhibitor arcs from step transition systems
M Pietkiewicz-Koutny
Fundamenta Informaticae 50 (2), 175-203, 2002
142002
Synthesis of nets with step firing policies
P Darondeau, M Koutny, M Pietkiewicz-Koutny, A Yakovlev
Applications and Theory of Petri Nets: 29th International Conference, PETRI …, 2008
132008
Applying regions
J Kleijn, M Koutny, M Pietkiewicz-Koutny, G Rozenberg
Theoretical Computer Science 658, 205-215, 2017
122017
Regions of Petri nets with a/sync connections
J Kleijn, M Koutny, M Pietkiewicz-Koutny
Theoretical Computer Science 454, 189-198, 2012
122012
Synthesis of ENI-systems using minimal regions
M Pietkiewicz-Koutny
CONCUR'98 Concurrency Theory: 9th International Conference Nice, France …, 1998
101998
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
Minimal regions of ENL-transition systems
M Koutny, M Pietkiewicz-Koutny
Fundamenta Informaticae 101 (1-2), 45-58, 2010
82010
Compositional Development in the Event of Interface Difference
J Burton, M Koutny, G Pappalardo, M Pietkiewicz-Koutny
Concurrency in Dependable Computing, 3-22, 2002
72002
Algorithms for the synthesis of elementary net systems with localities
A Ahmed, M Pietkiewicz-Koutny
International Workshop on Petri Nets and Software Engineering (PNSE'2020), 2020
62020
A taxonomy of persistent and nonviolent steps
M Koutny, Ł Mikulski, M Pietkiewicz-Koutny
Application and Theory of Petri Nets and Concurrency: 34th International …, 2013
62013
Non-pure nets and their transition systems
M Pietkiewicz-Koutny, A Yakovlev
TECHNICAL REPORT SERIES-UNIVERSITY OF NEWCASTLE UPON TYNE COMPUTING SCIENCE, 1995
61995
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
52014
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20