Validating the behavior of a supervised system using petri nets

Carlos Arturo Parra Ortega, Jaime Alberto Guzmán Luna. Validating the behavior of a supervised system using petri nets. RASI, 9(1):113-121, 2012. [doi]

Abstract

Abstract is missing.