Failures Semantics and Deadlocking of Modular Petri Nets.

Walter Vogler

Browse the full MFCS paper archive.