publication venue for
- A Precise Characterisation of Step Traces and Their Concurrent Histories. 2018:237-267. 2018
- Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities. 27:177-212. 2017
- Faithful Modeling of Product Lines with Kripke Structures and Modal Logic. 16:69-122. 2016
- Petri Nets for Biologically Motivated Computing. 21:199-225. 2011
- State Space Reduction for Dynamic Process Creation. 20:131-157. 2010
- Synthesis of Petri nets with localities. 19:1-23. 2009