The decentralized supervisory structure has drawn much attention in recent years. Many studies are reported in the paradigm of automata while few can be found in the Petri net model. This paper proposes a new method for decentralized supervisory control using the Petri net paradigm. Two efficient Algorithms are developed in the proposed method. Algorithm 1 is used to compute decentralized working zones from the given LS3PR Petri net model for flexible manufacturing systems. Algorithm 2 is used to compute the decentralized controllers that enforced liveness to the decentralized working zones. The sequential assembling is used to reconnect and controlled the working zones via decentralized controllers. The decentralized controller is added to the decentralized working zones that have common elements, that is, common transitions. The proposed method has the following advantages: (i) it can be applied to a complex Petri net model for flexible manufacturing systems, (ii) the proposed methods has less computational complexity when compared with the previous methods, (iii) the proposed method can obtain a minimal number of decentralized controllers that enforce liveness of the uncontrolled Petri net model. Experimental examples are presented to explore the applicability of the proposed methods.
Ab-MalekMSAhmadonMAYamaguchiSGuptaBB (2016) Implementation of parallel model checking for computer-based test security design. In: IEEE 7th International Conference on Information and Communication Systems (ICICS), Irbid, Jordan, 5–7 April 2016, pp. 258–263.
2.
BashirMHongL (2019) Global supervisory structure for decentralized systems of flexible manufacturing systems using Petri nets. Processes7(9): 1–21.
3.
BashirMLiZWUzamMWuNQAl-AhmariA (2018a) On structural reduction of liveness-enforcing Petri net supervisors for Flexible Manufacturing Systems: An algebraic approach. IMA Journal of Mathematical Control and Information35(4): 1217–1249.
4.
BashirMLiZWUzamM, et al. (2017) A minimal supervisory structure to optimally enforce liveness on Petri net models for flexible manufacturing systems. IEEE Access5: 15731–15749.
5.
BashirMLiuDUzamMAl-AhmariA, et al. (2018b) Optimal enforcement of liveness to flexible manufacturing systems modeled with Petri nets via transition-based controllers. SAGE Journal of Advances in Mechanical Engineering (AIME)10(1): 1–19.
6.
BashirMMuhammadBBLiZW (2016) Minimal supervisory structure for flexible manufacturing systems using Petri nets. In: IEEE 2nd Proceedings, International Conference on Control, Automation and Robotics, Hong Kong, China, 28–30 April 2016, pp. 291–296.
7.
BasileFCordoneRPiroddiL (2015) A branch and bound approach for the design of decentralized supervisors in Petri net models. Automatica52: 322–333.
8.
BenvenisteAFabreEHaarSJardC (2003) Diagnosis of asynchronous discrete-event systems: a net unfolding approach. IEEE Transactions on Automatic Control48(5): 714–727.
9.
BourjijABoutayebMCecchinT (1997) A decentralized approach for computing invariants in large scale and interconnected Petri nets. In: IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation, Orlando, FL, USA, 12–15 October 1997, pp. 1741–1746.
10.
CaiKWonhamWM (2009) Supervisor localization for large-scale discrete-event systems. In: IEEE Joint 48th Conference on Decision and Control and 28th Chinese Control Conference, Shanghai, China, 16–18 December 2009, pp. 3099–3105.
11.
ChenYFLiZW (2012) On structural minimality of optimal supervisors for flexible systems. Automatica48: 2647–2656.
12.
ChenYFLiZWAl-AhmariAWuNQQuT (2017) Deadlock recovery for flexible manufacturing systems modeled with Petri nets. Information Sciences381: 290–303.
13.
ChenYFLiZWBarkaouiKGiuaA (2015) On the enforcement of a class of nonlinear constraints on Petri nets. Automatica55: 116–124.
14.
ChuFXieXL (1997) Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Transactions on Robotics and Automation13(6): 793–804.
15.
DouCLVMFZhaoTY, et al. (2015) Decentralised coordinated control of micro-grid based on multi-agent system. IET Generation, Transmission & Distribution9(16): 2474–2484.
16.
EzpeletaJColomJMMartinezJ (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation11(2): 173–184.
17.
EzpeletaJGarcía-VallésFColomJM (1998) A Class of Well Structured Petri Nets for Flexible Manufacturing Systems. In: DeselJSilvaM (eds) Application and Theory of Petri Nets 1998 (ICATPN 1998). Lecture Notes in Computer Science, vol.1420. Berlin, Heidelberg: Springer.
18.
LouresERdos SantosEAPBusetti de PaulaMA (2006) Maintenance integration in a modular supervision framework based on Petri net with objects: Application to a robot-driven flexible cell. In: IEEE International Conference on Information Reuse & Integration, Waikoloa Village, HI, USA, 16–18 September 2006, pp. 69–74.
19.
GasparriAPaolaDDGiuaAUliviGNasoD (2011) Consensus-based decentralized supervision of Petri nets. In: 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC), Orlando, FL, USA, 12–15 December 2011, pp. 1128–1135.
20.
GiuaADiCesareFSilvaM (1992) Generalized mutual exclusion constraints on nets with uncontrollable transitions. In: 1992 IEEE International Conference on Systems, Man, and Cybernetics, Chicago, IL, USA, 18–21 October 1992, pp. 974–79.
21.
GiuaAMahuleaCSeatzuC (2017) Decentralized observability of discrete event systems with synchronizations. Automatica85: 468–476.
22.
HeiXTakahashiSHideoN (2008) Toward developing a decentralized railway signalling system using Petri nets. In: IEEE Conference on Robotics, Automation and Mechatronics, Chengdu, China, 21–24 September 2008, pp. 851–855.
23.
HuangYSPanYLSuPJ (2013) Transition-based deadlock detection and recovery policy for FMSs using graph technique. ACM Transactions on Embedded Computing Systems12(1): 1–13.
24.
IordacheMVAntsaklisPJ (2006) Decentralized supervision of Petri nets. IEEE Transactions on Automatic Control51(2): 376–381.
25.
IordacheMVAntsaklisPJ (2009) DES abstractions for the supervisory control of hybrid systems. Transactions of the Institute of Measurement and Control32(5): 468–486.
26.
KomendaJSchuppenJHV (2008) Modular control of discrete-event systems with coalgebra. IEEE Transactions on Automatic Control53(2): 447–460.
27.
LacerdaBLimaPU (2011) LTL-based decentralized supervisory control of multi-robot tasks modelled as Petri Nets. In: IEEE/RSJ International Conference on Intelligent Robots and Systems, San Francisco, CA, USA, 25–30 September 2011, pp. 3081–3086.
28.
LeeJSWangYM (2010) A preliminary application of Petri nets to the supervision of remotely operated systems. In: IECON 2010 – 36th Annual Conference on IEEE Industrial Electronics Society, Glendale, AZ, USA, 7–10 November, 2010, pp. 2145–2149.
29.
LeeJSZhouMCHsuPL (2005) An application of Petri nets to supervisory control for human-computer interactive systems. IEEE Transactions on Industrial Electronics52(5): 1220–1226.
30.
LeeJSZhouMCHsuPL (2007) A Petri-net approach to modular supervision with conflict resolution for semiconductor manufacturing systems. IEEE Transactions on Automation Science and Engineering4(4): 584–588.
31.
LiZWMengQSenZ (2009b) Identification of controllable transitions to decide the existence of an optimal liveness-enforcing supervisor for a class of Petri nets. Transactions of the Institute of Measurement and Control33(3–4): 406–421.
32.
LiZWWuNQZhouMC (2012) Deadlock control of automated manufacturing system based on Petri nets–A literature review. IEEE Transactions on Systems, Man, and Cybernetics, Part C, 42(4): 437–460.
33.
LiZWZhuSZhouMC (2009a) A divide-and-conquer strategy to deadlock prevention in flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews)39(2): 156–169.
34.
LuoJZhouMC (2017) Petri-net controller synthesis for partially controllable and observable discrete event systems. IEEE Transactions on Automatic Control62(3): 1301–1313.
35.
LuoJXingKWuY (2016). Robust supervisory control policy for automated manufacturing systems with a single unreliable resource. Transactions of the Institute of Measurement and Control39(6): 793–806.
36.
MacielPCruzFFBarrosE (2001) A Petri net based method for resource estimation: an approach considering data-dependency, causal and temporal precedences. In: Symposium on Integrated Circuits and Systems Design, Pirenopolis, Brazil, 15 September 2001, pp. 78–84.
37.
MannaniAGohariP (2008) Decentralized supervisory control of discrete-event systems over communication networks. IEEE Transactions on Automatic Control53(2): 547–559.
38.
MiranbeigiMMoshiriBRahimi-KianA (2014) Decentralized manufacturing management by a multi-agent optimal control method. Transactions of the Institute of Measurement and Control36(8): 935–945.
39.
PalomerasNRidaoPSilvestreCEl-fakdiA (2010) Multiple vehicles mission coordination using Petri nets. In: IEEE International Conference on Robotics and Automation, Anchorage, Alaska, USA, 3–8 May 2010, pp. 3531–3536.
40.
QamsaneYTajerAPhilippotA (2016) Distributed supervisory control synthesis for discrete manufacturing systems. IFAC-PapersOnLine49(12): 396–401.
41.
QinMLiZZhouM, et al. (2012) Deadlock prevention for a class of Petri nets with uncontrollable and unobservable transitions. IEEE Transitions on Systems, Man, Cybernetics – Part A: Systems and Humans42(3): 727–738.
42.
SakakibaraAUshioT (2018) Decentralized supervision and coordination of concurrent discrete event systems under LTL constraints. IFAC51(7): 7–12.
43.
StursbergOHillmannC (2017) Decentralized optimal control of distributed interdependent automata with priority structure. IEEE Transactions on Automation Science and Engineering14(2): 785–796.
44.
TebekaemiaEWijesekerabD (2019) Secure overlay communication and control model for decentralized autonomous control of smart micro-grids. Sustainable Energy, Grids and Networks18: 1–19.
45.
TeruelEColomJMSilvaM (1997) Choice-free Petri nets: a model for deterministic concurrent systems with bulk services and arrivals. IEEE Transactions on Systems, Man, and Cybernetics –Part A: Systems and Humans27(1): 73–83.
46.
TongYCaiKGiuaA (2018) Decentralized opacity enforcement in discrete event systems using supervisory control. In: IEEE 2018 57th Annual Conference of the Society of Instrument and Control Engineers of Japan (SICE), Nara, Japan, 11–14 September 2018, pp. 1053–1058.
47.
WangSGWangCYZhouMC (2011) A transformation algorithm for optimal admissible generalized mutual exclusion constraints on Petri nets with uncontrollable transitions. In: Proceedings of IEEE International Conference on Robotic and Automation, Shanghai, China, 2011, pp. 3745–3750.
48.
WongKCLeeS (2002) Structural decentralized control of concurrent discrete-event systems. European Journal of Control8(5): 477–491.
49.
WuJLiuC (2017) A new pattern based Petri net to model sintering production process. Transactions of the Institute of Measurement and Control40(9): 2771–2778.
50.
YeJZhouMCLiZWAl-AhmariA (2017) Structural decomposition and decentralized control of Petri nets. IEEE Transactions On Systems, Man, And Cybernetics: Systems48(8): 1–10.
51.
YeJHLiZWGiuaA (2015) Decentralized supervision of Petri nets with a coordinator. IEEE Transactions on Systems, Man, and Cybernetics: Systems45(6): 955–966.
52.
YooTSLafortuneS (2005) Decentralized supervisory control with conditional decisions: supervisor realization. IEEE Transactions on Automatic Control50(8): 1205–1211.
53.
ZhaoMUzamMHouY (2014) A divide-and-conquer method for the synthesis of non-blocking supervisors for flexible manufacturing systems. In: IEEE International Conference on Automation Science and Engineering (CASE), Taipei, Taiwan, 18–22 August 2014, pp. 455–460.
