2008 |
58 | EE | Naiqi Wu,
Chengbin Chu,
Feng Chu,
MengChu Zhou:
Modeling and Schedulability Analysis of Single-Arm Cluster Tools with Wafer Residency Time Constraints Using Petri Net.
ICNSC 2008: 84-89 |
57 | EE | ZhiWu Li,
MengChu Zhou:
Control of Elementary and Dependent Siphons in Petri Nets and Their Application.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 38(1): 133-148 (2008) |
56 | EE | Naiqi Wu,
MengChu Zhou,
ZhiWu Li:
Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 38(1): 56-69 (2008) |
55 | EE | Jin-Shyan Lee,
MengChu Zhou,
Pau-Lo Hsu:
Multiparadigm Modeling for Hybrid Dynamic Systems Using a Petri Net Framework.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 38(2): 493-498 (2008) |
54 | EE | ZhiWu Li,
MengChu Zhou:
On Siphon Computation for Deadlock Control in a Class of Petri Nets.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 38(3): 667-679 (2008) |
53 | EE | Zhijun Ding,
Changjun Jiang,
MengChu Zhou,
Yaying Zhang:
Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 38(4): 791-801 (2008) |
52 | EE | PengCheng Xiong,
Yushun Fan,
MengChu Zhou:
QoS-Aware Web Service Configuration.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 38(4): 888-895 (2008) |
51 | EE | Haibin Zhu,
MengChu Zhou:
Role Transfer Problems and Algorithms.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 38(6): 1442-1450 (2008) |
50 | EE | Zhen Guo,
MengChu Zhou,
Guofei Jiang:
Adaptive Sensor Placement and Boundary Estimation for Monitoring Mass Objects.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 38(1): 222-232 (2008) |
49 | EE | Zhijun Ding,
Changjun Jiang,
MengChu Zhou:
Deadlock Checking for One-Place Unbounded Petri Nets Based on Modified Reachability Trees.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 38(3): 881-883 (2008) |
48 | EE | Yuyue Du,
Changjun Jiang,
MengChu Zhou:
A Petri-Net-Based Correctness Analysis of Internet Stock Trading Systems.
IEEE Transactions on Systems, Man, and Cybernetics, Part C 38(1): 93-99 (2008) |
47 | EE | Zhi Wu Li,
MengChu Zhou,
Naiqi Wu:
A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems.
IEEE Transactions on Systems, Man, and Cybernetics, Part C 38(2): 173-188 (2008) |
46 | EE | Zhigang Wang,
Lichuan Liu,
MengChu Zhou,
N. Ansari:
A Position-Based Clustering Technique for Ad Hoc Intervehicle Communication.
IEEE Transactions on Systems, Man, and Cybernetics, Part C 38(2): 201-208 (2008) |
45 | EE | Haibin Zhu,
MengChu Zhou:
Roles in Information Systems: A Survey.
IEEE Transactions on Systems, Man, and Cybernetics, Part C 38(3): 377-396 (2008) |
44 | EE | Longbing Cao,
Chengqi Zhang,
MengChu Zhou:
Engineering Open Complex Agent Systems: A Case Study.
IEEE Transactions on Systems, Man, and Cybernetics, Part C 38(4): 483-496 (2008) |
2007 |
43 | EE | Naiqi Wu,
MengChu Zhou,
Gang Hu:
On Petri Net Modeling of Automated ManufacturingSystems.
ICNSC 2007: 228-233 |
42 | EE | PengCheng Xiong,
Yushun Fan,
MengChu Zhou:
A Petri net-based approach to QoS-aware configuration for web services.
SMC 2007: 1286-1291 |
41 | EE | Lichuan Liu,
Zhigang Wang,
MengChu Zhou:
Energy-efficient cooperative routing for wireless sensor networks using space time block code.
SMC 2007: 2837-2842 |
40 | EE | Naiqi Wu,
Feng Chu,
Chengbin Chu,
MengChu Zhou:
Schedulability analysis of short-term schedule for crude oil operations using Petri nets.
SMC 2007: 3481-3486 |
39 | EE | Murat Uzam,
MengChu 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 37(3): 362-371 (2007) |
38 | EE | Yuyue Du,
Changjun Jiang,
MengChu Zhou:
Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 37(5): 643-654 (2007) |
37 | EE | Da-Yin Liao,
MuDer Jeng,
MengChu Zhou:
Application of Petri Nets and Lagrangian Relaxation to Scheduling Automatic Material-Handling Vehicles in 300-mm Semiconductor Manufacturing.
IEEE Transactions on Systems, Man, and Cybernetics, Part C 37(4): 504-516 (2007) |
36 | EE | Zhigang Wang,
Lichuan Liu,
MengChu Zhou:
Space and network diversity combination for masked node collision resolution in wireless ad hoc network.
IEEE Transactions on Wireless Communications 6(2): 478-485 (2007) |
35 | EE | Congzhe Zhang,
MengChu Zhou,
Ming Yu:
Ad hoc network routing and security: A review.
Int. J. Communication Systems 20(8): 909-925 (2007) |
2006 |
34 | EE | ZhiWu Li,
MengChu Zhou:
Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets.
IEEE Trans. Industrial Informatics 2(4): 313-325 (2006) |
33 | EE | Ying Tang,
MengChu Zhou,
Meimei Gao:
Fuzzy-Petri-net-based disassembly planning considering human factors.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 36(4): 718-726 (2006) |
2005 |
32 | EE | Naiqi Wu,
MengChu Zhou:
Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 35(6): 1193-1202 (2005) |
2004 |
31 | EE | ZhiWu Li,
MengChu Zhou:
An Effective FMS Deadlock Prevention Policy based on Elementary Siphons.
ICRA 2004: 3143-3148 |
30 | EE | Da-Yin Liao,
MuDer Jeng,
MengChu Zhou:
Petri Net Modeling and Lagrangian Relaxation Approach to Vehicle Scheduling in 300 mm Semiconductor Manufacturing.
ICRA 2004: 5301-5306 |
29 | EE | ZhiWu Li,
MengChu Zhou:
Some results and open problems concerning elementary siphons of Petri nets.
SMC (2) 2004: 1717-1722 |
28 | EE | Ying Tang,
MengChu Zhou:
Fuzzy-Petri-net based disassembly planning considering human factors.
SMC (5) 2004: 4195-4200 |
27 | EE | Murat Uzam,
MengChu Zhou:
Iterative synthesis of Petri net based deadlock prevention policy for flexible manufacturing systems.
SMC (5) 2004: 4260-4265 |
26 | EE | ZhiWu Li,
HeSuan Hu,
MengChu Zhou:
An algorithm for an optimal set of elementary siphons in Petri nets for deadlock control.
SMC (5) 2004: 4849-4854 |
25 | EE | ZhiWu Li,
YunAn Zhi,
MengChu Zhou:
A polynomial algorithm to find a set of elementary siphons in a class of Petri nets.
SMC (5) 2004: 4861-4866 |
24 | EE | Meimei Gao,
MengChu Zhou:
Sustainability improvement through supplier selection.
SMC (7) 2004: 6042-6047 |
23 | EE | ZhiWu Li,
MengChu Zhou:
Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 34(1): 38-51 (2004) |
22 | EE | M. P. Fanti,
MengChu Zhou:
Deadlock control methods in automated manufacturing systems.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 34(1): 5-22 (2004) |
21 | EE | JianQiang Li,
Yushun Fan,
MengChu Zhou:
Performance modeling and analysis of workflow.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 34(2): 229-242 (2004) |
20 | EE | Meimei Gao,
MengChu Zhou,
Ying Tang:
Intelligent decision making in disassembly process based on fuzzy reasoning Petri nets.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 34(5): 2029-2034 (2004) |
2003 |
19 | | Naiqi Wu,
MengChu Zhou:
AGV routing for conflict resolution in AGV systems.
ICRA 2003: 1428-1433 |
18 | | ZhiWu Li,
MengChu Zhou:
A novel siphon-based deadlock control method for FMS.
ICRA 2003: 1452-1457 |
17 | | Meimei Gao,
MengChu Zhou,
Fei-Yue Wang:
Improvement of product sustainability.
ICRA 2003: 3548-3553 |
16 | | ShihSen Peng,
MengChu Zhou:
Production cycle-time analysis based on sensor-based stage petri nets for automated manufacturing systems.
ICRA 2003: 4300-4305 |
15 | EE | Haibin Zhu,
MengChu Zhou:
Methodology first and language second: a way to teach object-oriented programming.
OOPSLA Companion 2003: 140-147 |
14 | | JianQiang Li,
Yushun Fan,
MengChu Zhou:
Timing constraint workflow nets for workflow analysis.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 33(2): 179-193 (2003) |
13 | | Meimei Gao,
MengChu Zhou,
Xiaoguang Huang,
ZhiMing Wu:
Fuzzy reasoning Petri nets.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 33(3): 314-324 (2003) |
2002 |
12 | | ShihSen Peng,
MengChu Zhou:
Sensor-Based Petri Net Modeling for PLC Stage Programming of Discrete-Event Control Design.
ICRA 2002: 1907-1912 |
11 | | Naiqi Wu,
MengChu Zhou:
Deadlock Avoidance in Semiconductor Track Systems.
ICRA 2002: 193-198 |
10 | | Meimei Gao,
MengChu Zhou,
Reggie J. Caudill:
A Bin Assignment Algorithm for Demanufacturing Automation.
ICRA 2002: 2351-2356 |
2001 |
9 | | Ying Tang,
MengChu Zhou:
Design of Reconfigurable Semiconductor Manufacturing Systems with Maintenance and Failure.
ICRA 2001: 559-564 |
8 | | Naiqi Wu,
MengChu Zhou:
Resource-Oriented Petri Nets in Deadlock Avoidance of AGV Systems.
ICRA 2001: 64-69 |
7 | | High-Way Sun,
MengChu Zhou,
Carl Wolf:
A Methodology for Software Development Cost Analysis in Information-Based Manufacturing.
ICRA 2001: 787-791 |
2000 |
6 | | Ying Tang,
MengChu Zhou,
Eyal Zussman,
Reggie J. Caudill:
Disassembly Modeling, Planning, and Application: A Review.
ICRA 2000: 2197-2202 |
5 | | Naiqi Wu,
MengChu Zhou:
Resource-Oriented Petri Nets for Deadlock Avoidance in Automated Manufacturing.
ICRA 2000: 3377-3382 |
4 | | Pingtao Yan,
MengChu Zhou,
Reggie J. Caudill:
A Life Cycle Engineering Approach to FMS Development.
ICRA 2000: 395-400 |
1994 |
3 | | MengChu Zhou:
Reduction of Timed Marked Graphs and Its Applications to Manufacturing Systems.
ICRA 1994: 801-806 |
2 | | Daniel Y. Chao,
MengChu Zhou,
David T. Wang:
Extending the Knitting Technique to Petri Net Synthesis of Automated Manufacturing Systems.
Comput. J. 37(1): 67-76 (1994) |
1993 |
1 | EE | MengChu Zhou,
Dianlong Guo,
Frank DiCesare:
Integration of Petri nets and moment generating function approaches for system performance evaluation.
Journal of Systems Integration 3(1): 43-62 (1993) |