@ARTICLE{Sioud_H._Deadlock_2009,
 author={Sioud, H. and Achour, Z. and Sava, A. and Rezg, N.},
 volume={vol. 57},
 number={No 3},
 journal={Bulletin of the Polish Academy of Sciences Technical Sciences},
 pages={281-288},
 howpublished={online},
 year={2009},
 title={Deadlock freeness supervisor for marked graph},
 URL={http://journals.pan.pl/Content/105841/PDF/10_paper.pdf},
 doi={10.2478/v10175-010-0130-3},
}