"On the Existence of a Maximally Permissive Liveness-enforcing Petri Net ..."

Zhiwu Li, Moshe Shpitalni (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics