Combining UML-MARTE and Preemptive Time Petri Nets: An Industrial Case Study

Irene Bicchierai, Giacomo Bucci, Laura Carnevali, Enrico Vicario. Combining UML-MARTE and Preemptive Time Petri Nets: An Industrial Case Study. IEEE Trans. Industrial Informatics, 9(4):1806-1818, 2013. [doi]

Abstract

Abstract is missing.