Work

Strong Co-Detectability for Labeled Petri Nets and Its Enforcement via Additional Sensors