Petri Nets in Flexible and Agile Automation (The Springer International Series in Engineering and Computer Science)