Behzad Bordbar, Ahmed Al-Ajeli, Mohammed Alodib. On Diagnosis of Violations of Constraints in Petri Net Models of Discrete Event Systems. In 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014. pages 673-680, IEEE Computer Society, 2014. [doi]
Abstract is missing.