"Monitor optimization in Petri net control."

Roberto Cordone, Luigi Piroddi (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics