Sequence-detectability Analysis of Interpreted Petri Nets under Partial State Observations.

Luis I. Aguirre-Salas, Alejandra Santoyo-Sanchez

Browse the full ETFA paper archive.