Weighted Petri Nets

Generalized the original Petri net to allow multiple tokens to be added/removed when a transition fires
The edges are labeled with the weight (i.e., number of tokens)
If there is no label, then the default value is 1