Premium
Confusion Diagnosis and Control of Discrete Event Systems Using Synchronized P etri Nets
Author(s) -
Chen Xiaoliang,
Li Zhiwu,
AlAhmari Abdulrahman M.,
ElTamimi Abdulaziz Mohammed,
Abouel Nasr Emad S.
Publication year - 2013
Publication title -
asian journal of control
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.769
H-Index - 53
eISSN - 1934-6093
pISSN - 1561-8625
DOI - 10.1002/asjc.690
Subject(s) - petri net , confusion , liveness , event (particle physics) , computer science , control (management) , set (abstract data type) , class (philosophy) , distributed computing , theoretical computer science , programming language , artificial intelligence , psychology , physics , quantum mechanics , psychoanalysis
The mixture of conflicting transitions and concurrent transitions in P etri nets can lead to the loss of conflict information, which is an unfortunate phenomenon in discrete event systems, usually called confusions. They appear in the processes of resource allocation and may cause incomplete decision‐making on conflicts. Hence, a confusion detection method and a control strategy are required. This paper proposes a class of confusion control event reconfigurable ( CCR ) nets to control confusions with the evolution of markings. Their properties such as safety and liveness with the mapping from original P etri nets to CCR nets are investigated. Two confusion control algorithms are proposed to generate a set of control code sequences, which can completely control the occurrences of confusions. Then, a confusion detection algorithm with polynomial time complexity is developed. Finally, an example of confusion analysis in automated manufacturing systems is presented.