R-TNCES: A novel formalism for reconfigurable discrete event control systems

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 43, Issue 4, 2013, Pages 757-772

  Zhang, Jiafeng ^a   Khalgui, Mohamed ^b   Li, Zhiwu ^a   Mosbahi, Olfa ^b   Al Ahmari, Abdulrahman M ^c  

^a XIDIAN UNIVERSITY   (China)

^b UNIVERSITY OF CARTHAGE   (Tunisia)

^c KING SAUD UNIVERSITY   (Saudi Arabia)

Author keywords

Discrete event control systems; Modeling; Net Condition Event Systems (NCESs); Petri nets; Reconfiguration; Verification

Indexed keywords

AUTOMATIC TRANSFORMATIONS; DISCRETE EVENT CONTROL SYSTEMS; FORMAL MODELING AND VERIFICATION; NET CONDITION/EVENT SYSTEMS; RECONFIGURATION; TEMPORAL SPECIFICATION; VERIFICATION COMPLEXITY; VERIFICATION METHOD;

MODELS; VERIFICATION; CONTROL SYSTEMS; PETRI NETS;

PETRI NETS; DISCRETE EVENT SIMULATION;

EID: 84887067083     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2012.2217321     Document Type: Article

References (53)

1. Y. Koren, U. Heisel, F. Jovane, T. Moriwaki, G. Pritschow, G. Ulsoy, and H. Van Brussel, Reconfigurable manufacturing systems, CIRP Ann. Manuf. Technol., vol. 48, no. 2, pp. 527-540, Nov. 1999.
2. M. G. Mehrabi, A. G. Ulsoy, and Y. Koren, Reconfigurable manufacturing systems: Key to future manufacturing, J. Intell. Manuf., vol. 11, no. 4, pp. 403-419, Aug. 2000.
3. J. Li, X. Z. Dai, Z. D. Meng, J. P. Dou, and X. P. Guan, Rapid design and reconfiguration of Petri net models for reconfigurable manufacturing cells with improved net rewriting systems and activity diagrams, Comput. Ind. Eng., vol. 57, no. 4, pp. 1431-1451, Nov. 2009.
4. M. Khalgui, O. Mosbahi, Z. W. Li, and H. M. Hanisch, Reconfiguration of distributed embedded-control systems, IEEE/ASME Trans. Mechatronics, vol. 16, no. 4, pp. 684-694, Aug. 2011.
5. M. Khalgui and H. M. Hanisch, Automatic NCES-based specification and SESA-based verification of feasible control components in benchmark production systems, Int. J. Modell., Identif. Control, vol. 12, no. 3, pp. 223-243, 2011.
6. M. Khalgui and H. M. Hanisch, Automatic specification of feasible control tasks in benchmark production systems, in Proc. IEEE Int. Conf. Emerg. Technol. Factory Autom., 2008, pp. 789-798.
7. R. Kolluru, K. P. Valavanis, S. S. Smith, and N. Tsourveloudis, Design fundamentals of a reconfigurable robotic gripper system, IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 30, no. 2, pp. 181-187, Mar. 2000.
8. Y. F. Chen and Z. W. Li, Design of a maximally permissive livenessenforcing supervisor with a compressed supervisory structure for flexible manufacturing systems, Automatica, vol. 47, no. 5, pp. 1028-1034, May 2011.
9. Y. F. Chen, Z.W. Li,M. Khalgui, and O. Mosbahi, Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems, IEEE Trans. Autom. Sci. Eng., vol. 8, no. 2, pp. 374-393, Apr. 2011.
10. Y. F. Chen, Z. W. Li, and M. C. Zhou, Behaviorally optimal and structurally simple liveness-enforcing supervisors of flexible manufacturing systems, IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 42, no. 3, pp. 615-629, May 2012.
11. Y. H. Du, P. C. Xiong, Y. S. Fan, and X. T. Li, Dynamic checking and solution to temporal violations in concurrent workflow processes, IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 41, no. 6, pp. 1166-1181, Nov. 2011.
12. Z. W. Li and M. Zhao, On controllability of dependent siphons for deadlock prevention in generalized Petri nets, IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 2, pp. 369-384, Mar. 2008.
13. Z.W. Li and M. C. Zhou, On siphon computation for deadlock control in a class of Petri nets, IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 3, pp. 667-679, May 2008.
14. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. London, U.K.: Springer-Verlag, 2009.
15. Z. W. Li, N. Q. Wu, and M. C. Zhou, Deadlock control of automated manufacturing systems based on Petri nets-A literature review, IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 42, no. 4, pp. 437-462, Jul. 2012.
16. Z.W. Li, G. Y. Liu,M. H. Hanisch, and M. C. Zhou, Deadlock prevention based on structure reuse of Petri net supervisors for flexible manufacturing systems, IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 42, no. 1, pp. 178-191, Jan. 2012.
17. S. Han and H. Y. Youn, Modeling and analysis of time-critical contextaware service using extended interval timed colored Petri nets, IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 42, no. 3, pp. 630-640, May 2012.
18. A. L. Gehin and M. Staroswiecki, Reconfiguration analysis using generic component models, IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 3, pp. 575-583, May 2008.
19. R. Valk, Self-modifying nets, a natural extension of Petri nets, Lecture Notes Comput. Sci., vol. 62, pp. 464-476, 1978.
20. S. U. Guan and S. S. Lim, Modeling adaptable multimedia and selfmodifying protocol execution, Future Gener. Comput. Syst., vol. 20, no. 1, pp. 123-143, Jan. 2004.
21. M. Llorens and J. Oliver, Structural and dynamic changes in concurrent systems: Reconfigurable Petri nets, IEEE Trans. Comput., vol. 53, no. 9, pp. 1147-1158, Sep. 2004.
22. J. Li, X. Dai, and Z. Meng, Automatic reconfiguration of Petri net controllers for reconfigurable manufacturing systems with an improved net rewriting system based approach, IEEE Trans. Autom. Sci. Eng., vol. 6, no. 1, pp. 156-167, Jan. 2009.
23. E. E. Almeida, J. E. Luntz, and D. M. Tilbury, Event-condition-action systems for reconfigurable logic control, IEEE Trans. Autom. Sci. Eng., vol. 4, no. 2, pp. 167-181, Apr. 2007.
24. N. Q. Wu and M. C. Zhou, Intelligent token Petri nets for modelling and control of reconfigurable automated manufacturing systems with dynamical changes, Trans. Inst. Meas. Control, vol. 33, no. 1, pp. 9-29, Feb. 2011.
25. R. Sampath, H. Darabi, U. Buy, and J. Liu, Control reconfiguration of discrete event systems with dynamic control specifications, IEEE Trans. Autom. Sci. Eng., vol. 5, no. 1, pp. 84-100, Jan. 2008.
26. I. Dumitrache, S. I. Caramihai, and A. M. Stanescu, Intelligent agentbased control systems in manufacturing, in Proc. IEEE Int. Symp. Intell. Control, 2000, vol. 1, pp. 369-374. (Pubitemid 32188495)
27. K. Ohashi and K. G. Shin, Model-based control for reconfigurable manufacturing systems, in Proc. IEEE Int. Conf. Robot. Autom., 2011, pp. 553-558.
28. D. Kalita and P. P. Khargonekar, Formal verification for analysis and design of logic controllers for reconfigurable machining systems, IEEE Trans. Robot. Autom., vol. 18, no. 4, pp. 463-474, Aug. 2002.
29. J. Liu and H. Darabi, Control reconfiguration of discrete event systems controllers with partial observation, IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 34, no. 6, pp. 2262-2272, Dec. 2004.
30. A. Asperti and N. Busi, Mobile Petri nets, Univ. Bologna, Bologna, Italy, Tech. Rep. UBLCS-96-10, 1996.
31. H. V. Brussel, J. Wyns, P. Valckenaers, L. Bongaerts, and P. Peeters, Reference architecture for holonic manufacturing systems: PROSA, Comput. Ind., vol. 37, no. 3, pp. 255-274, Nov. 1998.
32. S. Balasubramanian, R. W. Brennan, and D. H. Norrie, An architecture for metamorphic control of holonic manufacturing systems, Comput. Ind., vol. 46, no. 1, pp. 13-31, Aug. 2001.
33. X. K. Zhang, D. H. Norrie, R. W. Brennan, and Y. F. Xu, A multi-level reconfiguration control for holonic PLC, in Proc. IEEE Conf. Syst., Man, Cybern., 2000, vol. 3, pp. 1762-1767.
34. H. M. Hanisch, J. Thieme, A. Luder, and O. Wienhold, Modeling of PLC behavior by means of timed net condition/event systems, in Proc. Int. Conf. Emerg. Technol. Factory Autom., 1997, pp. 391-396.
35. H. M. Hanisch and A. Lüder, Modular modelling of cloosed-loop systems, in Proc. Colloq. Petri Net Technol. Modell. Commun. Based Syst., 1999, pp. 103-126.
36. P. H. Starke and S. Roch, Analysing signal-net systems, Humboldt-Univ., Berlin, Germany, Tech. Rep. Informatik-Berichte, 2002.
37. V. Vyatkin and H.M. Hanisch, Verification of distributed control systems in intelligent manufacturing, Int. J. Manuf., vol. 14, no. 1, pp. 123-136, Feb. 2003.
38. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Norwell, MA: Kluwer, 1993.
39. M. Zhou, F. DiCesare, and D. L. Rudolph, Design and implementation of a Petri net based supervisor for a flexible manufacturing system, Automatica, vol. 28, no. 6, pp. 1199-1208, Nov. 1992.
40. K. Barkaoui and R. B. Ayed, Uniform verification of workflow soundness, Trans. Inst. Meas. Control, vol. 33, no. 1, pp. 133-148, Feb. 2011.
41. K. Barkaoui, R. B. Ayed, and Z. Sbaï, Workflow soundness verification based on structure theory of Petri nets, Int. J. Comput. Inf. Sci., vol. 5, no. 1, pp. 51-61, Apr. 2007.
42. M. Rausch and H. M. Hanisch, Net condition/event systems with multiple condition outputs, in Proc. INRIA/IEEE Symp. Emerg. Technol. Factory Autom., 1995, vol. 1, pp. 592-600.
43. M. Khalgui, H. M. Hanisch, and A. Gharbi, Model-checking for the functional safety of control component-based heterogeneous embedded systems, in Proc. IEEE Conf. Emerg. Technol. Factory Autom., 2009, pp. 1-10.
44. M. Khalgui, O. Mosbahi, Z. W. Li, and H. M. Hanisch, Reconfigurable multiagent embedded control systems: From modeling to implementation, IEEE Trans. Comput., vol. 60, no. 4, pp. 538-551, Apr. 2011.
45. A. Gharbi, M. Khalgui, J. F. Zhang, and S. B. Ahmed, Agent-based fault management of embedded control systems, in Proc. 6th Int. Conf. Softw. Database Technol., 2011, pp. 277-280.
46. M. Khalgui and H.M. Hanisch, Reconfiguration protocol for multi-agent control software architectures, IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 41, no. 1, pp. 70-80, Jan. 2011.
47. M. Khalgui, O. Mosbahi, J. F. Zhang, Z. W. Li, and A. Gharbi, Feasible dynamic reconfigurations of Petri nets application to a production systems, in Proc. 6th Int. Conf. Softw. Database Technol., 2011, pp. 105-110.
48. R. Alur and M. Yannakakis, Model checking of hierarchical state machines, in Proc. ACM SIGSOFT Int. Symp. Found. Softw. Eng., 1998, pp. 175-188.
49. O. Mosbahi, M. Khalgui, H. M. Hanisch, and Z. W. Li, A componentbased approach for the development of automated systems, IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 41, no. 5, pp. 1026-1031, Sep. 2011.
50. S. Roch, Extended computation tree logic, ACM SIGSOFT Software Engineering Notes, vol. 23, no. 6, pp. 175-188.
51. E. M. Clarke, E. A. Emerson, and A. P. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Trans. Programm. Lang. Syst., vol. 8, no. 2, pp. 244-263, Apr. 1986.
52. R. Alur and T. A. Henzinger, Logics and models of real time: A survey, in Real-Time: Theory in Practice. Heidelberg: Springer-Verlag, pp. 74-106.
53. S. Preuße, H. C. Lapp, H. M. Hanisch, Closed-loop system modeling, validation, and verification, 2012. [Online]. Available: http://www. researchgate.net/publication/229422027 Closed-loop System Modeling Validation and Verification/file/9fcfd5060443a1d883.pdf