PN for the Previous Example
Characteristics of the modeled environment:
- Four places defines the two possible trajectories for each sphere: P = { A1, A2, B1, B2}
- Four transitions represents button press events: T = { t1, t2, t3, t4}
- t1 and t4 put the spheres A and B, respectively, in their external trajectories
- t2 and t3 put the spheres A and B, respectively, in their internal trajectories
- All arcs have unit weight