Structural Sequence Detectability in Free Choice Interpreted Petri Nets. - Saul-Alonso Nuno-Sanchez; Antonio Ramírez-Treviño; Javier Ruiz-León (IEEE Trans. Autom. Control., 2016)