Abstract-This paper utvecklar en decentraliserad tillsynspolicy för ett Petri-nät genom samarbete mellan en samordnare och undernätscontrollers. Samordnaren väljs från subnet styrenheter genom att lösa ett heltal linjär programmering problem. En optimal objektiv funktion används för att minimera kommunikationskostnaderna mellan undernätsregulatorerna och samordnaren. Dessutom föreslås ett protokoll för att nå en överenskommelse om avfyrningsvillkoren för gemensamma övergångar mellan undernätskontrollanterna. Observationsavtal och kontrollavtal kan uppnås av AND-operatören i logikalgebra. Kontrollavtal används för att besluta om eldningsvillkoren för gemensamma övergångar i nästa steg. Avfyring av gemensamma övergångar, som kommer att leda till en ny märkning som bryter mot de givna begränsningarna, kommer att förbjudas genom kontrollavtalet. En genomförbarhetsanalys av den föreslagna decentraliserade kontrollramen diskuteras. Slutligen presenteras fyra exempel för att illustrera det föreslagna tillvägagångssättet.
Jianhong Ye et al REF införde en decentraliserad tillsynspolitik för ett Petri-nät genom samarbete mellan en samordnare och undernätsregulatorer som ett diskret händelsesystem (DES).
Decentralized Supervision of Petri Nets With a Coordinator
{'venue': 'IEEE Transactions on Systems, Man, and Cybernetics: Systems', 'journal': 'IEEE Transactions on Systems, Man, and Cybernetics: Systems', 'mag_field_of_study': ['Computer Science']}