Design of parallel Petri net control systems based on avoidance of conflicts competing for actuators
To obtain a reliable and safe control system,a method to design parallel Petri nets for actuator conflict pre-vention was proposed.The definition of parallel Petri nets was extended by means of the agent.The algorithm was presented to execute a parallel Petri net.The method was given to design three basic Petri net modules,and a pro-duction process was modeled as a Petri net by these modules.An algorithm was obtained to prevent Petri nets from reaching any conflict state via control places,which obtained a conflict-free Petri net model.The proposed method was realized by the joint programming in C and Twin CAT,and verified by experiments carried out on a chip detec-tion system.
Petri netsdiscrete-event systemsAgentsconflict prevention
NETL
NSTL
万方数据
