On Diagnosis of Violations of Constraints in Petri Net Models of Discrete Event Systems

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]

Authors

Behzad Bordbar

This author has not been identified. It may be one of the following persons: Look up 'Behzad Bordbar' in Google

Ahmed Al-Ajeli

This author has not been identified. Look up 'Ahmed Al-Ajeli' in Google

Mohammed Alodib

This author has not been identified. Look up 'Mohammed Alodib' in Google