Return to Article Details Automatic Transformation of Ordinary Timed Petri Nets into Event-B for Formal Verification Download Download PDF