Work

Generalized Critical Observability of Labeled Petri Nets Under Nondeterministic Observations