This book offers a practical approach to modeling real-world discrete systems and performing analysis. The theory behind the book is the Colored Petri nets, and the tool used for simulations is general-purpose Petri net simulator (GPenSIM). Modeling these systems with Petri nets would become a problem as they result in huge Petri net models.