Improvement of Set-Covering Weighted Control Model of S3PR

Article Preview

Abstract:

The set-covering approach by Piroddi et al. may reach the optimal number of states among all approaches for a well-known benchmark using a siphon-based approach without reachability analysis. However, the resulting model is a generalized Petri net incurring extra cost in system verification, validation and implementation. The only improvement is to replace two monitors with weighted arcs by two new monitors without weighted arcs. We develop a theory for explaining the cause of state losses and providing the foundation for the above improvement model.

You might also be interested in these eBooks

Info:

Periodical:

Advanced Materials Research (Volumes 605-607)

Pages:

1831-1835

Citation:

Online since:

December 2012

Keywords:

Export:

Price:

Permissions CCC:

Permissions PLS:

Сopyright:

© 2013 Trans Tech Publications Ltd. All Rights Reserved

Share:

Citation:

[1] M. Uzam, M.C. Zhou: An iterative synthesis approach to Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Systems, Man and Cybernetics - Part A: Systems and Humans, 37 (2007), pp.362-371

DOI: 10.1109/tsmca.2007.893484

Google Scholar

[2] L. Piroddi, R. Cordone, and I. Fumagalli: Selective Siphon Control for Deadlock Prevention in Petri Nets. IEEE Transaction on Systems Man and Cybernetic Part A Systems and Humans, 38(6) (2008), pp.1337-1348

DOI: 10.1109/tsmca.2008.2003535

Google Scholar

[3] J. Ezpeleta, J.M. Colom, and J. Martinez: A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Robot. Automat., 11(2) (1995), pp.173-184

DOI: 10.1109/70.370500

Google Scholar

[4] D. Y. Chao: A Simple Modification of Deadlock Prevention Policy of S3PR Based on Elementary Siphons. To appear in Trans. Mea. and Instru., (2009)

Google Scholar

[5] D. Y. Chao, G.J. Liu, and J.J. Chang: A Simple Suboptimal Siphon-Based Control Model of A Well-Known S3PR, Asian Control of Journal., DOI: 10.1002/asjc.292, 2010, 07. (2009)

DOI: 10.1002/asjc.292

Google Scholar

[6] K. Yamalidou, J. Moody, M. Lemmon, and P. Antsaklis: Feedback control of Petri nets based on place invariants, Automatic, 32(1) (1996), pp.15-28

DOI: 10.1016/0005-1098(95)00103-4

Google Scholar