Figure 8
An example Petri net. Petri net representation of a chemical reaction, 2H2 + O2 → 2H2O. The rows in Pre and Post matrices correspond to the Petri net transitions (in this example there is only one transition) and the columns to the three places in the following order: p1 = H2, p2 = O2 and p3 = H2O. If no weight is written on the arc, this corresponds to weight 1. The initial marking is M0 = [2,2,0]Tand after the reaction has been red the marking becomes M = [0,1,2]T.