Special Issue on Hybrid Petri Nets