(1)
APC Semantics for Petri Nets. INF 32 (3).