Stav dette: Understanding Petri Nets: modeling techniques analysis methods, case studies