U. Goltz
-
On causal semantics of Petri nets
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory