Petri net model and the E : application development - Habul, Aida (Array, 2012)