Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets

Jorge JĂșlvez, Laura Recalde, Manuel Silva. Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets. IEEE Trans. Automat. Contr., 51(9):1472-1481, 2006. [doi]

Abstract

Abstract is missing.