Affiliation:
1. Institute of Informatics, Slovak Academy of Sciences, 845 07 Bratislava, Slovakia
Abstract
Automated Manufacturing Systems (AMS) consisting of many cooperating devices incorporated into multiple cooperating production lines, sharing common resources, represent industrial Multi-Agent Systems (MAS). Deadlocks may occur during operation of such MAS. It is necessary to deal with deadlocks (more precisely said, to prevent them) to ensure the correct behavior of AMS. For this purpose, among other methods, methods based on Petri nets (PN) are used too. Because AMS are very often described by PN models, two PN-based methods will be presented here, namely based on (i) PN place invariants (P-invariants); and (ii) PN siphons and traps. Intended final results of usage these methods is finding a supervisor allowing a deadlock-free activity of the global MAS. While the former method yields results in analytical terms, latter one need computation of siphons and traps.
Subject
Computer Networks and Communications
Reference63 articles.
1. Simulation in the Design and Operation of Manufacturing Systems: State of the Art and New Trends;Mourtzis;Int. J. Prod. Res.,2020
2. Mourtzis, D. (2022). Design and Operation of Production Networks for Mass Personalization in the Area of Cloud Technology, Elsevier Inc.
3. Evolution and future of manufacturing systems;Monostori;CIRP Ann. Manuf. Technol.,2021
4. Petri Nets: Properties, Analysis and Applications;Murata;Proc. IEEE,1989
5. Reisig, W. (1985). Petri Nets, Springer.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献