Text this: Modeling of Petri Net (software development) / Abd. Malik Ab. Rahim