Louis Nwanda - Translating Statecharts to behaviourally equivalent Petrinets
Abstract
Reading
Implementation