Yann Thierry-Mieg Claude Dutheillet Isabelle Mounier Automatic Symmetry Detection in Well-Formed Nets. 82-101 2003 conf/apn/2003 ICATPN http://link.springer.de/link/service/series/0558/bibs/2679/26790082.htm db/conf/apn/icatpn2003.html#Thierry-MiegDM03