"Backward coupling in petri nets."

Anne Bouillard, Bruno Gaujal (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics