| Web Service Configuration Under Multiple Quality-of-Service Attributes | IEEE Transactions on Automation Science and Engineering | 2009 | 63 |
| An Effective Algorithm to Find Elementary Siphons in a Class of Petri Nets | IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans | 2009 | 56 |
| Global continuous finite-time tracking of robot manipulators | International Journal of Robust and Nonlinear Control | 2009 | 52 |
| A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems | IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans | 2009 | 43 |
| Modeling and monitoring of E-commerce workflows | Information Sciences | 2009 | 38 |
| M–M Role-Transfer Problems and Their Solutions | IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans | 2009 | 38 |
| Modeling and scheduling for manufacturing grid workflows using timed Petri nets | International Journal of Advanced Manufacturing Technology | 2009 | 35 |
| Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs | Computers and Industrial Engineering | 2009 | 35 |
| A Divide-and-Conquer Strategy to Deadlock Prevention in Flexible Manufacturing Systems | IEEE Transactions on Systems, Man and Cybernetics, Part C: Applications and Reviews | 2009 | 32 |
| A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeration of their Petri net models | Engineering With Computers | 2009 | 28 |
| On systematic methods to remove redundant monitors from liveness-enforcing net supervisors | Computers and Industrial Engineering | 2009 | 28 |
| Short-Term Schedulability Analysis of Multiple Distiller Crude Oil Operations in Refinery With Oil Residency Time Constraint | IEEE Transactions on Systems, Man and Cybernetics, Part C: Applications and Reviews | 2009 | 26 |
| Smart deadlock prevention policy for flexible manufacturing systems using Petri nets | IET Control Theory and Applications | 2009 | 23 |
| Simple online smooth trajectory generations for industrial systems | Mechatronics | 2009 | 21 |
| On deadlock control for a class of generalised Petri net models of flexible manufacturing systems | International Journal of Production Research | 2009 | 18 |
| Efficient deadlock prevention policy in automated manufacturing systems using exhausted resources | International Journal of Advanced Manufacturing Technology | 2009 | 17 |
| Structural conditions of systems of simple sequential processes with resources nets without weakly dependent siphons | IET Control Theory and Applications | 2009 | 15 |
| Clarification on the Computation of Liveness-Enforcing Supervisor for Resource Allocation Systems With Uncontrollable Behavior | IEEE Transactions on Automation Science and Engineering | 2009 | 13 |
| Errata to “A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language” [Jan 09 94-106] | IEEE Transactions on Automation Science and Engineering | 2009 | 6 |
| Technologies toward thermal comfort-based and energy-efficient HVAC systems: A review | | 2009 | 5 |
| A saturated PD plus scheme for asymptotic tracking of robot manipulators | | 2009 | 3 |
| Comments on "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 | 2009 | 3 |
| HLA based multidisciplinary joint simulation technology for servo mechanism analysis | | 2009 | 2 |
| A Modified Feature Based Image Watermarking Scheme in NSCT Domain | | 2009 | 2 |
