Design Petri Net Model

Assumption