Abstract:System scheduling is a decision-making process that plays an important role in improving the performance of robotic cellular manufacturing (RCM) systems. Timed Petri nets (PNs) are a formalism suitable for graphically and concisely modeling such systems and obtaining their reachable state graphs. Within their reachability graphs, timed PNs’ evolution and intelligent search algorithms can be combined to find an efficient operation sequence from an initial state to a goal one for the underlying systems of the nets. To schedule RCM systems, this work proposes an A* search with a new heuristic function based on timed PNs. When compared with related approaches, the proposed one can deal with token remaining time, weighted arcs, and multiple resource copies commonly seen in the PN models of RCM systems. The admissibility of the proposed heuristic function is proved. Finally, experimental results are given to show the effectiveness and efficiency of the proposed method and heuristic function. Note to Practitioners —Robotic cellular manufacturing (RCM) systems are among the most common and complicated discrete-event dynamic systems, which provide a great number of choices of resources and processing routes to allow high system productivity. Timed Petri nets (PNs) and intelligent search algorithms on their reachability graphs are ideal tools to handle the RCM scheduling problem. This work proposes an A* search method based on the evolutions of timed PNs to optimally schedule RCM systems. The proposed method can deal with token remaining time, weighted arcs, and multiple resource copies often encountered in the PN models of RCM systems.

A Petri-Net-Based Anytime A$^*$ Search for Scheduling Resource Allocation Systems

Scheduling of Resource Allocation Systems with Timed Petri Nets: A Survey

Scheduling Robotic Cellular Manufacturing Systems with Timed Petri Net, A* Search, and Admissible Heuristic Function

Scheduling AMSs with Generalized Petri Nets and Highly Informed Heuristic Search

Scheduling Fmss Based On A Hybrid Petri Net Framework

Scheduling FMS with Alternative Routings Using Petri Nets and Near Admissible Heuristic Search

Symbolic Scheduling of Robotic Cellular Manufacturing Systems with Timed Petri Nets

Scheduling of Flexible Manufacturing Systems Subject to No-Wait Constraints Via Petri Nets and Heuristic Search

Resource Allocation Using Timed Petri Nets and Heuristic Search

Improved methods for scheduling flexible manufacturing systems based on Petri nets and heuristic search

A Novel Petri-Net Based Resource Constrained Multi-project Scheduling Method.

A Hybrid Heuristic Scheduling Method for FMSs Based on Timed Petri Nets

Deadlock-free scheduling method using genetic algorithm and timed S/sup 3/PR nets

Deadlock-free Scheduling of Flexible Manufacturing Systems Subject to No-Wait Constraints

Deadlock-Free Scheduling Method Using Genetic Algorithm And Timed (Spr)-P-3 Nets

Deadlock-Free Scheduling of Automated Manufacturing Systems Using Petri Nets and Hybrid Heuristic Search

A Hybrid Heuristic Search Algorithm for Scheduling FMS Based on Petri Net Model

Search Strategy for Scheduling Flexible Manufacturing Systems Simultaneously Using Admissible Heuristic Functions and Nonadmissible Heuristic Functions.

Scheduling FMS Problems with Heuristic Search Function and Transition-Timed Petri Nets

Timed Petri Nets and Heuristic Search-Based FMS Scheduling

Resource Allocation for a Life Science Automation Line: a Petri nets Approach