(untitled) (Informatica)
APC Semantics for Petri Nets