Petri net models of agent-based control of a FMS with randomly generated recipes | IEEE Conference Publication | IEEE Xplore