Abstract: This paper addresses the property of critical observability in labeled Petri nets. A system is deemed critically observable if its state estimate (formed by observing the system output) can ...