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

Tomáš Masopust is qualified to endorse.

Deciding Detectability for Labeled Petri Nets

Tomáš Masopust: Is registered as an author of this paper.
Can endorse for cs.CR, cs.CY, cs.FL, cs.LO, cs.SY, eess.SY. (why?)
Xiang Yin: Is registered as an author of this paper.
Not currently an endorser. (why?)