An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems

[1]  Dimitri Lefebvre,et al.  Control Design for Bounded Partially Controlled TPNs Using Timed Extended Reachability Graphs and MDP , 2020, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[2]  Pei Li,et al.  Robust Deadlock Control for Automated Manufacturing Systems With Unreliable Resources Based on Petri Net Reachability Graphs , 2019, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[3]  MengChu Zhou,et al.  Robust Scheduling of Time-Constrained Dual-Arm Cluster Tools With Wafer Revisiting and Activity Time Disturbance , 2019, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[4]  Gonzalo Mejía,et al.  Petri Nets and Deadlock-Free Scheduling of Open Shop Manufacturing Systems , 2018, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[5]  MengChu Zhou,et al.  Scheduling Cluster Tools in Semiconductor Manufacturing: Recent Advances and Challenges , 2018, IEEE Transactions on Automation Science and Engineering.

[6]  MengChu Zhou,et al.  Wafer Sojourn Time Fluctuation Analysis of Time-Constrained Dual-Arm Cluster Tools With Wafer Revisiting and Activity Time Variation , 2018, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[7]  Francesco Basile,et al.  Design of control sequences for timed Petri nets based on tree encoding , 2018 .

[8]  Gonzalo Meja,et al.  A new Hybrid Filtered Beam Search algorithm for deadlock-free scheduling of flexible manufacturing systems using Petri Nets , 2017 .

[9]  MengChu Zhou,et al.  Scheduling of Single-Arm Cluster Tools for an Atomic Layer Deposition Process With Residency Time Constraints , 2017, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[10]  Kamel Barkaoui,et al.  A survey of siphons in Petri nets , 2016, Inf. Sci..

[11]  MengChu Zhou,et al.  Short-term scheduling of crude oil operations in refinery with high-fusion-point oil and two transportation pipelines , 2016, Enterp. Inf. Syst..

[12]  Dimitri Lefebvre,et al.  Approaching Minimal Time Control Sequences for Timed Petri Nets , 2016, IEEE Transactions on Automation Science and Engineering.

[13]  MengChu Zhou,et al.  Deadlock-Free Scheduling of Automated Manufacturing Systems Using Petri Nets and Hybrid Heuristic Search , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[14]  Roberto Cordone,et al.  A branch and bound approach for the design of decentralized supervisors in Petri net models , 2015, Autom..

[15]  Hang Lei,et al.  Deadlock-free scheduling for flexible manufacturing systems using Petri nets and heuristic search , 2014, Comput. Ind. Eng..

[16]  Gongxuan Zhang,et al.  Search strategy for scheduling flexible manufacturing systems simultaneously using admissible heuristic functions and nonadmissible heuristic functions , 2014, Comput. Ind. Eng..

[17]  Kamel Barkaoui,et al.  New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[18]  Xiao Chen,et al.  Deadlock-free genetic scheduling for flexible manufacturing systems using Petri nets and deadlock controllers , 2014 .

[19]  Alessandro Giua,et al.  Supervisory Control of Petri Nets with Language Specifications , 2013, Control of Discrete-Event Systems.

[20]  MengChu Zhou,et al.  Petri Net Modeling and Cycle-Time Analysis of Dual-Arm Cluster Tools With Wafer Revisiting , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[21]  Roberto Cordone,et al.  Maximally permissive deadlock avoidance for sequential resource allocation systems using disjunctions of linear classifiers , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[22]  MengChu Zhou,et al.  Reduction and Refinement by Algebraic Operations for Petri Net Transformation , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[23]  MengChu Zhou,et al.  Modeling, Analysis and Control of Dual-Arm Cluster Tools With Residency Time Constraint and Activity Time Variation Based on Petri Nets , 2012, IEEE Transactions on Automation Science and Engineering.

[24]  MengChu Zhou,et al.  Schedulability Analysis and Optimal Scheduling of Dual-Arm Cluster Tools With Residency Time Constraint and Activity Time Variation , 2012, IEEE Transactions on Automation Science and Engineering.

[25]  Ugo Buy,et al.  Enforcing Periodic Transition Deadlines in Time Petri Nets With Net Unfoldings , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[26]  Moe Thandar Wynn,et al.  Soundness of workflow nets: classification, decidability, and analysis , 2011, Formal Aspects of Computing.

[27]  MengChu Zhou,et al.  Control of Elementary and Dependent Siphons in Petri Nets and Their Application , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[28]  Gonca Tuncel,et al.  Applications of Petri nets in production scheduling: a review , 2007 .

[29]  Francesco Basile,et al.  Feedback Control Logic for Backward Conflict Free Choice Nets , 2007, IEEE Transactions on Automatic Control.

[30]  Alessandro Giua,et al.  Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places , 2006, Autom..

[31]  Nicholas G. Odrey,et al.  An approach using petri nets and improved heuristic search for manufacturing system scheduling , 2005 .

[32]  Ouajdi Korbaa,et al.  Modeling and scheduling of ratio-driven FMS using unfolding time Petri nets , 2004, Comput. Ind. Eng..

[33]  Xu Gang,et al.  Deadlock-free scheduling strategy for automated production cell , 2003, Proceedings 2003 IEEE/ASME International Conference on Advanced Intelligent Mechatronics (AIM 2003).

[34]  Hongnian Yu,et al.  Combined Petri net modelling and AI-based heuristic hybrid search for flexible manufacturing systems-part II: heuristic hybrid search , 2003 .

[35]  Albert Benveniste,et al.  Diagnosis of asynchronous discrete event systems, a net unfolding approach , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[36]  Hoda A. ElMaraghy,et al.  Deadlock-free scheduling in flexible manufacturing systems using Petri nets , 2002 .

[37]  Hongnian Yu,et al.  Integrating Petri Nets and hybrid heuristic search for the scheduling of FMS , 2002, Comput. Ind..

[38]  MengChu Zhou,et al.  Compositional time Petri nets and reduction rules , 2000, IEEE Trans. Syst. Man Cybern. Part B.

[39]  MengChu Zhou,et al.  Scheduling of semiconductor test facility via Petri nets and hybrid heuristic search , 1998 .

[40]  MuDer Jeng,et al.  A Heuristic Search Approach Using Approximate Solutions to Petri Net State Equations for Scheduling Flexible Manufacturing Systems , 1998 .

[41]  Javier Martínez,et al.  A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..

[42]  Panos J. Antsaklis,et al.  Feedback control of Petri nets based on place invariants , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[43]  Li-Chen Fu,et al.  A Petri net based approach to modeling and scheduling for an FMS and a case study , 1994, IEEE Trans. Ind. Electron..

[44]  Frank DiCesare,et al.  Scheduling flexible manufacturing systems using Petri nets and heuristic search , 1994, IEEE Trans. Robotics Autom..

[45]  W. Wonham,et al.  Control of vector discrete-event systems. II. Controller synthesis , 1994, IEEE Trans. Autom. Control..

[46]  Bruce H. Krogh,et al.  Synthesis of feedback control logic for discrete manufacturing systems , 1991, Autom..

[47]  P. Ow,et al.  Filtered beam search in scheduling , 1988 .