[1]
. APC Semantics for Petri Nets. Informatica. 32, 3 ().