We gratefully acknowledge support from
the Simons Foundation and member institutions.

Kuize Zhang is qualified to endorse.

On detectability of labeled Petri nets and finite automata

Kuize Zhang: Is registered as an author of this paper.
Can endorse for cs.CR, cs.FL, cs.LO, cs.PL, math.OC, math.RA. (why?)

Alessandro Giua is not registered as an owner of this paper. (why?)