Compositional specification of real time embedded systems by priority time Petri Nets

Adel Mahfoudhi, Yessine Hadj Kacem, Walid Karamti, Mohamed Abid. Compositional specification of real time embedded systems by priority time Petri Nets. The Journal of Supercomputing, 59(3):1478-1503, 2012. [doi]

Abstract

Abstract is missing.