"Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way."

Rik Eshuis (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics