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