Bravo, H. J.da Cunha, A. E. C.Pena, Patricia N.Malik, RobiCury, José E. R.2014-03-272014-03-272012-10-032012Bravo, H. J., Da Cunha, A. E. C., Pena, P. N., Malik, R., & Cury, J. E. R. (2012). Generalised verification of the observer property in discrete event systems. In Proceedings of the 11th International Workshop on Discrete Event Systems (pp. 337-342).https://hdl.handle.net/10289/8576The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure called OP-verifier II overcomes the limitations of the previously proposed verifier while keeping its computational complexity. Results are illustrated by a case study of a transfer line system.application/pdfen© IFAC 2012. This work is posted here by permission of IFAC for your personal use. Not for distribution. The original version was published in ifac-papersonline.net <http://papersonline.net>, DOI: 10.3182/20121003-3-MX-4033.00054computer sciencediscrete event systemsnatural projectionsobserver propertyConference Contribution10.3182/20121003-3-mx-4033.00054