Văn bản này: Understanding Petri Nets: modeling techniques analysis methods, case studies