Observability analysis of interpreted Petri nets under partial state observations using estimations reachability graph.

Luis I. Aguirre-Salas, Alejandra Santoyo-Sanchez

Browse the full ETFA paper archive.