@inproceedings{CASE-2014-GaoLWA,
	author        = "Xiang Gao and ZhiWu Li and Anrong Wang and A. M. Al-Ahmari",
	booktitle     = "{Proceedings of the 10th International Conference on Automation Science and Engineering}",
	doi           = "10.1109/CoASE.2014.6899359",
	pages         = "419--424",
	publisher     = "{IEEE}",
	title         = "{A monitor solution to enforce legal transition firing sequences problems by using Petri nets}",
	year          = 2014,
}