Virtual Petri nets as a modular modeling method for planning and control tasks of FMS | IEEE Conference Publication | IEEE Xplore