An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets.

Lihua Shi, Paddy Nixon

Browse the full FM paper archive.