nach oben

Journal of Intelligent Manufacturing

Erschienen in:

01.10.2015

A software tool for the automatic synthesis of minimally restrictive liveness enforcing supervisory policies for a class of general Petri net models of manufacturing- and service-systems

verfasst von: S. Chandrasekaran, N. Somnath, R. S. Sreenivas

Erschienen in: Journal of Intelligent Manufacturing | Ausgabe 5/2015

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

We consider liveness enforcing supervisory policies (LESPs) for a class of Petri net (PN) structures that model automated manufacturing systems that are prone to livelocks. This class is identified by the property that the existence of an LESP for an instance initialized with a marking implies the existence of an LESP when the same instance is initialized with a larger marking. If a minimally restrictive LESP prevents the occurrence of a transition at some marking for an instance, then every LESP for the instance should prevent the occurrence of the transition for the same marking. There is a unique minimally restrictive LESP for a PN that has an LESP. After reviewing the relevant theory, this paper describes the implementation details of a procedure for the automatic synthesis of the minimally restrictive LESP for any instance from the aforementioned class.

Vorheriger Artikel Scheduling FMS problems with heuristic search function and transition-timed Petri nets

Nächster Artikel Special issue on “Current progress of intelligent technologies for manufacturing society”

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Cf. p. 554, Murata (1989) for a formal definition.

lpsolve.sourceforge.net/5.1/lp_solveAPIreference.htm

http://www.graphviz.org

Alpern, B., & Schneider, F. B. (1985). Defining liveness. Information Processing Letters, 21(4), 181–185.

Basile, F., Recalde, L., Chiacchio, P., & Silva, M. (2009). Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement. Discrete Event Dynamic Systems, 19(1), 1–30.CrossRef

Castillo, L., Fdez-Olivares, J., & González, A. (2000). A three-level knowledge-based system for the generation of live and safe petri nets for manufacturing systems. Journal of Intelligent Manufacturing, 11, 559–572.CrossRef

Chandrasekaran, S., & Sreenivas, R. (2013). On the automatic generation of the minimally restrictive liveness enforcing supervisory policy for manufacturing- and service-systems modeled by a class of general free choice petri nets. In Proceedings of the IEEE International Conference on Networking, Sensing and Control (ICNSC-13), Paris, France, April 2013, session WeC01.3.

Ferrarini, L., Piroddi, L., & Allegri, S. (1999). A comparative performance analysis of deadlock avoidance control algorithms for FMS. Journal of Intelligent Manufacturing, 10, 569–585.CrossRef

Ferrarini, L., Piroddi, L., & Allegri, S. (2004). Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and petri net building blocks. Journal of Intelligent Manufacturing, 15, 351–371.CrossRef

Ghaffari, A., Rezg, N., & Xie, X. (2003). Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE transactions on robotics and Automation, 19(1), 137–142.CrossRef

Giua, A. (1992). Petri nets as discrete event models for supervisory control. Ph.D. dissertation, ECSE Dept., Rensselaer Polytechnic Institute, Troy, NY.

Hu, H., & Li, Z. (2010). Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons. Journal of Intelligent Manufacturing, 21(4), 555–567.CrossRef

Hu, H., Zhou, M., & Li, Z. (2011). Supervisor optimization for deadlock resolution in automated manufacturing systems with petri nets. IEEE Transactions on Automation Science and Engineering, 8(4), 794–804.CrossRef

Hu, H., & Liu, Y. (2014). Supervisor simplification for ams based on petri nets and inequality analysis. IEEE Transactions on Automation Science and Engineering, 11(1), 66–77.CrossRef

Iordache, M. V., & Antsaklis, P. J. (2003). Design of \({\cal T}\)-liveness enforcing supervisors in Petri nets. IEEE Transactions on Automatic Control, 48(11), 1202–1218.

Li, L., Hadjicostis, C., & Sreenivas, R. (2004). Fault detection and identification in petri net controllers. In Proceedings of the 43rd IEEE conference on decision and control (CDC), Bahamas, December 2004 (pp. 5248–5253).

Li, S.-Y., An, A.-M., Wang, Y., Wang, G., Hou, C., & Cai, Y. (2013). Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons. Journal of Intelligent Manufacturing, 24, 1157–1173.CrossRef

Marchetti, O., & Munier-Kordon, A. (2009). A sufficient condition for the liveness of weighted event graphs. European Journal of Operations Research, 197, 532–540.CrossRef

Moody, J., & Antsaklis, P. (1998). Supervisory control of discrete event systems using Petri nets. Dordrecht, MA: Kluwer Academic Publishers.CrossRef

Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4), 541–580.CrossRef

Ramadge, P., & Wonham, W. (1987). Modular feedback logic for discrete event systems. SIAM Journal of Control and Optimization, 25(5), 1202–1218.CrossRef

Reveliotis, S. (2005). Real-time management of resource allocation systems: A discrete-event systems approach. New York: Springer.

Silberschatz, A., Galvin, P. B., & Gagne, G. (2009). Operating system concepts. London: Wiley.

Somnath, N., & Sreenivas, R. (2013). On deciding the existence of a liveness enforcing supervisory policy in a class of partially-controlled general free-choice Petri nets. IEEE Transactions on Automation Science and Engineering, 10(4), 1157–1160.

Sreenivas, R. (1997). On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets. IEEE Transactions on Automatic Control, 42(7), 928–945.CrossRef

Sreenivas, R. (2006). Some observations on supervisory policies that enforce liveness in partially controlled Free Choice Petri nets. Mathematics and Computers in Simulation, 70, 266–274.CrossRef

Sreenivas, R. (2012). On the existence of supervisory policies that enforce liveness in partially controlled free-choice Petri nets. IEEE Transactions on Automatic Control, 57(2), 435–449.CrossRef

Sreenivas, R. (2013). On a decidable class of partially controlled Petri nets with liveness enforcing supervisory policies. EEE Transactions on Systems, Man, and Cybernetics: Systems, 43(5), 1256–1261.CrossRef

Valckenaers, P., & Van-Brussel, H. (2003). Deadlock avoidance in flexible flow shops with loops. Journal of Intelligent Manufacturing, 14, 137–144.

Valk, R., & Jantzen, M. (1985). The residue of vector sets with applications to decidability problems in Petri nets. Acta Informatica, 21, 643–674.CrossRef

Titel: A software tool for the automatic synthesis of minimally restrictive liveness enforcing supervisory policies for a class of general Petri net models of manufacturing- and service-systems
verfasst von: S. Chandrasekaran
N. Somnath
R. S. Sreenivas
Publikationsdatum: 01.10.2015
Verlag: Springer US
Erschienen in: Journal of Intelligent Manufacturing / Ausgabe 5/2015
Print ISSN: 0956-5515
Elektronische ISSN: 1572-8145
DOI: https://doi.org/10.1007/s10845-014-0888-5

Premium Partner

Marktübersichten

Die im Laufe eines Jahres in der „adhäsion“ veröffentlichten Marktübersichten helfen Anwendern verschiedenster Branchen, sich einen gezielten Überblick über Lieferantenangebote zu verschaffen.

Zur Marktübersicht

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Weitere Artikel der Ausgabe 5/2015

Cutting tool operational reliability prediction based on acoustic emission and logistic regression model

Optimal bid valuation using path finding for multi-robot task allocation

A method for tool condition monitoring based on sensor fusion

A hybrid estimation of distribution algorithm for the semiconductor final testing scheduling problem

Intelligent manufacturing: New advances and challenges

An interactive solution approach for multiple objective supplier selection problem with fuzzy parameters

Premium Partner

Marktübersichten