Modeling and Analysis Using Petri Nets.
Model a simple wafer producing tool using CPN tool.
1 Robot with 2 Arms that can hold 1 Wafer per Arm
2 Process Modules that process 1 wafer at a time
Wafers only need to process in 1 Process Module
There are two types of wafers, e.g., red and purple