Object-oriented Petri nets and π -calculus-based modeling and analysis of reconfigurable manufacturing systems

Advances in Mechanical Engineering

Volumn 8, Issue 11, 2016, Pages 1-11

  Yu, Zhenhua ^a   Guo, Fang ^a   Ouyang, Jie ^a   Zhou, Lijun ^b  

^a AIR FORCE ENGINEERING UNIVERSITY   (China)

^b XI AN INSTITUTE OF APPLIED OPTICS   (China)

Author keywords

formal method; Petri net; reconfigurability; Reconfigurable manufacturing systems; calculus

Indexed keywords

EID: 85002202337     PISSN: 16878132     EISSN: 16878140     Source Type: Journal    
DOI: 10.1177/1687814016677698     Document Type: Article

References (33)

1. Wu NQ, Zhou MC, Li ZW., Resource-oriented Petri net for deadlock avoidance in flexible assembly systems. IEEE T Syst Man Cy A 2008; 38
2. Li ZW, Zhou MC., Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE T Syst Man Cy A 2004; 34: 38-51.
3. Molina A, Rodriguez CA, Ahuett H, et al. Next-generation manufacturing systems: key research issues in developing and integrating reconfigurable and intelligent machines. Int J Comp Integ M 2005; 18: 525-536.
4. Dai X, Li J, Meng Z., Hierarchical Petri net modelling of reconfigurable manufacturing systems with improved net rewriting systems. Int J Comp Integ M 2009; 22: 158-177.
5. Li J, Dai X, Meng Z, et al. Rapid design and reconfiguration of Petri net models for reconfigurable manufacturing cells with improved net rewriting systems and activity diagrams. Comput Ind Eng 2009; 57: 1431-1451.
6. Cortes LA, Eles P, Peng Z., Modeling and formal verification of embedded systems based on a Petri net representation. J Syst Architect 2003; 49: 571-598.
7. Lee I, Sokolsky O, Chen S, et al. Challenges and research directions in medical cyber-physical systems. P IEEE 2012; 100: 75-90.
8. Chen YF, Li ZW, Barkaoui K, et al. New Petri net structure and its application to optimal supervisory control: interval inhibitor arcs. IEEE T Syst Man Cy A 2014; 44: 1384-1400.
9. Li ZW, Hu HS, Wang AR., Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE T Syst Man Cy C 2007; 37: 517-526.
10. Zhang JF, Khalgui M, Li ZW, et al. Reconfigurable coordination of distributed discrete event control systems. IEEE T Contr Syst T 2015; 23: 323-330.
11. Li ZW, Zhou MC., Control of elementary and dependent siphons in Petri nets and their application. IEEE T Syst Man Cy A 2008; 38: 133-148.
12. Meng X., Modeling of reconfigurable manufacturing systems based on colored timed object-oriented Petri nets. J Manuf Syst 2010; 29: 81-90.
13. Wu NQ, Zhou MC., Intelligent token Petri nets for modelling and control of reconfigurable automated manufacturing systems with dynamical changes. T I Meas Control 2009; 33: 9-29.
14. De Silva RM, Benitez-Pina IF, Blos MF, et al. Modeling of reconfigurable distributed manufacturing control systems. IFAC: PapersOnLine 2015; 48: 1284-1289.
15. Tarnauca B, Puiu D, Comnac V, et al.Modelling a flexible manufacturing system using reconfigurable finite capacity Petri nets. In: Proceedings of the 13th international conference on optimization of electrical and electronic equipment, Brasov, 24-26 May 2012, pp. 1079-1084. New York: IEEE.
16. Li J, Dai X, Meng Z., Automatic reconfiguration of Petri net controllers for reconfigurable manufacturing systems with an improved net rewriting system-based approach. IEEE T Autom Sci Eng 2009; 6: 156-167.
17. Kahloul L, Bourekkache S, Djouani K, et al. Using high level Petri nets in the modelling, simulation and verification of reconfigurable manufacturing systems. Int J Softw Eng Know 2014; 24: 419-443.
18. Li ZW, Zhao M., On controllability of dependent siphons for deadlock prevention in generalized Petri nets. IEEE T Syst Man Cy A 2008; 38: 369-384.
19. Ye JH, Li ZW, Giua A., Decentralized supervision of Petri nets with a coordinator. IEEE T Syst Man Cy 2015; 45: 955-966.
20. Ma ZY, Li ZW, Giua A., Design of optimal Petri net controllers for disjunctive generalized mutual exclusion constraints. IEEE T Automat Contr 2015; 60: 1774-1785.
21. Wu NQ, Zhou MC, Li ZW., Short-term scheduling of crude-oil operations: enhancement of crude-oil operations scheduling using a Petri net-based control-theoretic approach. IEEE Robot Autom Mag 2015; 22: 64-76.
22. Chen YF, Li ZW, Barkaoui K, et al. On the enforcement of a class of nonlinear constraints on Petri nets. Automatica 2015; 55: 116-124.
23. Bai LP, Wu NQ, Li ZW, et al. Optimal one-wafer cyclic scheduling and buffer space configuration for single-arm multicluster tools with linear topology. IEEE T Syst Man Cy 2016; 46: 1456-1467.
24. Best E, Devillers R, Koutny M., Petri net algebra. Berlin: Springer, 2001.
25. Miyamoto T, Kumagai S., A survey of object-oriented Petri nets and analysis methods. IEICE Trans Fundam 2005; E88-A: 2964-2971.
26. Yu ZH, Fu X, Liu Y, et al. Modeling and analyzing software architecture using object-oriented Petri nets and π -calculus. Petri Nets Applications. Croatia: InTechOpen, 2010.
27. Yu ZH., Approaches to formal modeling methodology for multi-agent systems. PhD Thesis, Xi'an Jiaotong University, Xi'an, China, 2006.
28. Milner R, Parrow J, Walker D., A calculus of mobile processes. J Inform Comput 1992; 100: 1-77.
29. Milner R., The polyadic π-calculus: a tutorial. Berlin: Springer-Verlag, 1993.
30. Shen W, Hao Q, Yoon HJ, et al. Applications of agent-based systems in intelligent manufacturing: an updated review. Adv Eng Inform 2006; 20: 415-431.
31. Wang X, Khemaissia I, Khalgui M, et al. Dynamic low-power reconfiguration of real-time systems with periodic and probabilistic tasks. IEEE T Autom Sci Eng 2015; 12: 258-271.
32. Jennings NR, Sycara K, Wooldridge MJ., A roadmap of agent research and development. Auton Agent Multi-Ag 1998; 1: 7-38.
33. Canal C, Pimentel E, Troya JM., Compatibility and inheritance in software architectures. Sci Comput Program 2001; 41: 105-138.