Petri Nets in Flexible and Agile Automation