Zaslat SMS: Understanding Petri Nets: modeling techniques analysis methods, case studies