Collaborative Optimization And Dynamic Scheduling For Many Kinds Of Resources With Multiple Finite State Machines Based Petri Net

Collaborative optimization and dynamic scheduling of systems of many kinds of resourcesis an important aspect of research concerning Dynamic Event Discrete System. Petri Net, anideal modeling method to collaborative optimization and dynamic scheduling of resources, iscomposed of visualized graphs and mathematics, aiming at research of organizational structuresand dynamic behaviors, describing the relationships between states or state transitions insystems. However, the basic Petri net only could describe the distribution of the number ofresources macroscopically. In order to enhance the ability to model of basic Petri net, a lot ofresearch expands it by adding new sets or reflections. In fact, as for DEDS of multipleresources, the basic Petri net could hardly express it clearly. Therefore, the multi-statemachines composite Petri net based on binary mark is proposed which is combined with binarymark and is used to research question of collaborative optimization and dynamic scheduling ofsystems of many kinds of resources.(1) On the basis of multi-state machine composite Petri net based on discrete Token,binary mark is introduced which represents logic attribution, multi-state machine compositePetri nets based on binary discrete mark and hybrid mark are proposed respectively.Accordingly, their rules are given, such as transition enable mechanisms, event enablemechanisms, token transfer mechanisms and evolvement mechanisms of continuousinformation.(2) Time and space continuous information are introduced into composite Petri nets basedon binary hybrid mark, through the combination of differential equation, multi-state machinescomposite Petri nets based on binary time hybrid mark and multiple state machines compositePetri nets based on binary space hybrid mark are established. And relative scheduling rules areproposed accordingly. (3) Aiming at the minimum process time, we schedule and collaboratively optimize theresources of manufacturing process of a FMS example by using the above Petri net to test andverify the effectiveness of the proposed Petri net. And then, take cover annealing for example,firstly under the condition of without resources collision, schedule the resources. Secondly, weoptimize the total time and space distance of resources in this system which contains resourcescollision. Experimental results show that satisfactory solutions could be obtained, andtherefore, confirm that multiple state machines composite Petri nets based on binary hybridmark could model, analyze and collaboratively optimize and schedule multiple resources DEDS.and the proposed net provides a new way to research similar questions.