1. L. Aguirre-Salas, O. Begovich, and A. Ramirez-Trevino, Observability in interpreted Petri nets using sequence invariants. In Proc. of the 41st IEEE Conf. on Decision and Control, volume 4, pp. 3602–3607, 2002
2. Aybar A, Iftar A (2009) Decentralized Structural Controller Design for Large-scale Discrete-Event Systems Modelled by Petri Nets. Kybernetika 45(1):3–14
3. F. Arichi, M. Petreczky, M. Djemai, and B. Cherki, Observability and Observer Design of Partially Observed Petri Nets, IFAC-PapersOnLine 48 (27), pp. 27-32, 4, 2015
4. F. Baccelli, and B. Gaujal, Liveness in Free-Choice Petri Nets- An Algebraic Approach, research report, Inria, 1996
5. Basile F, Chiacchio P, De Tommasi G (2012) On K-diagnosability of Petri nets via integer linear programming. Automatica 48(9):2047–2058