Marta Pietkiewicz-Koutny
6 published titles
Synthesis of general Petri nets with localities
(Contributor)
1 edition
- Computer Science, Newcastle University
- 2010
- Details
Regions of petri nets with a/sync connections
(Contributor)
1 edition
- Newcastle University, Computing Science
- 2011
- Details
Synthesis problem for Petri nets with localities
(Contributor)
1 edition
- Newcastle University, Computing Science
- 2011
- Details
A taxonomy of persistent and nonviolent steps
(Contributor)
1 edition
- Newcastle University, Computing Science
- Details
Modelling ambient systems with coloured petri nets
(Contributor)
1 edition
- Newcastle University, Computing Science
- Details
An extension of the taxonomy of persistent and nonviolent steps
(Contributor)
1 edition
- Newcastle University, Computing Science
- Details