"Petri net decomposition approach to deadlock-free scheduling for ..."

Izuru Matsumoto, Tatsushi Nishi (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics