A modular modeling approach for automated manufacturing systems based on shared resources and process planning using Petri nets | IEEE Conference Publication | IEEE Xplore