Advances in Petri Net Theory and Applications