Transformation of Bounded Timed Petri Nets into Event-B. - Suphattra Kaewopchoei; Wiwat Vatanawood (SNPD, 2019)