supported publications or other works Causality in Structured Occurrence Nets Conferences Localities in systems with a/sync communication Journal Articles Membrane Systems with Qualitative Evolution Rules Journal Articles Mutex Causality in Processes and Traces of General Elementary Nets Journal Articles Petri Nets with Localities and Testing Conferences Regions of Petri nets with a/sync connections Journal Articles Step coverability algorithms for communicating systems Journal Articles Step semantics of boolean nets Journal Articles Synthesis Problem for Petri Nets with Localities Conferences The Mutex Paradigm of Concurrency Conferences Timed Migration and Interaction with Access Permissions Conferences Timed Mobility in process algebra and Petri nets Journal Articles