Understanding Petri Nets: Modeling Techniques,