Luis I. Aguirre-Salas, Ofelia Begovich, Antonio Ramírez-Treviño. Observability in interpreted Petri nets using sequence invariants. In 41st IEEE Conference on Decision and Control, CDC 2002, Las Vegas, NV, USA, December 10-13, 2002. pages 3602-3607, IEEE, 2002. [doi]
Abstract is missing.