An introduction to petri-net - Bachok, Syahriah; Ibrahim, Mansor; Khalid, Ummi Aqilah (IIUM Press, 2011)