keywords Computer Science Computer Science, Artificial Intelligence Computer Science, Interdisciplinary Applications EVENT STRUCTURES NOTIONS PETRI-NET Petri nets SEMANTICS Science & Technology Technology causality concurrency formal languages independence inhibitor arcs partial orders processes traces