Fault tolerant liveness analysis for a class of Petri nets
暂无分享,去创建一个
[1] Yadati Narahari,et al. A Petri net approach to the modelling and analysis of flexible manufacturing systems , 1985 .
[2] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[3] MuDer Jeng,et al. A review of synthesis techniques for Petri nets with applications to automated manufacturing systems , 1993, IEEE Trans. Syst. Man Cybern..
[4] MuDer Jeng,et al. Synthesis using resource control nets for modeling shared-resource systems , 1995, IEEE Trans. Robotics Autom..
[5] MengChu Zhou,et al. A hybrid methodology for synthesis of Petri net models for manufacturing systems , 1992, IEEE Trans. Robotics Autom..
[6] MuDer Jeng,et al. ERCN-merged nets and their analysis using siphons , 1999, IEEE Trans. Robotics Autom..
[7] Fu-Shiung Hsieh. Robustness of deadlock avoidance algorithms for sequential processes , 2003, Autom..
[8] MengChu Zhou,et al. Adaptive design of Petri net controllers for error recovery in automated manufacturing systems , 1989, IEEE Trans. Syst. Man Cybern..
[9] Bruce H. Krogh,et al. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows , 1990, IEEE Trans. Robotics Autom..
[10] Shi-Chung Chang,et al. Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems , 1994, IEEE Trans. Robotics Autom..
[11] MuDer Jeng,et al. Petri nets for modeling automated manufacturing systems with error recovery , 1997, IEEE Trans. Robotics Autom..
[12] MengChu Zhou,et al. Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources , 1991, IEEE Trans. Robotics Autom..