Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies