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

Rik Eshuis

Browse the full FM paper archive.