@InProceedings{AP19, author={A. Al-Ajeli and D. Parker}, title={Online Monitoring for Diagnosis of Violations of Constraints in Petri Net Models}, booktitle={5th IFAC International Conference on Intelligent Control and Automation Sciences}, year={2019}, editors={}, pages={}, organization={}, publisher={}, series={}, volume={}, address={}, month={}, note={}, key={} }