Abstract:Timed Petri nets (TPNs) have been widely used for modeling discrete-event systems of diverse manufacturing and service industries. In this article, we introduce a reachability tree-based optimization algorithm to optimize cyclic schedules of TPNs. In particular, we focus on a special class of cyclic schedules that are referred to as one-cyclic schedules, i.e., the algorithm efficiently finds the optimal one-cyclic transition firing schedule of a TPN. The proposed scheduling method can be robustly applied and extended to a number of different scheduling models since the methodology is not bounded to a specific domain. To enhance the computational performance, we establish a set of transition ordering constraints that can reduce the tree size during the search procedure. We evaluate the computational efficiency of the suggested algorithm by examining robotized manufacturing systems where one-cyclic schedules are popularly being used. It is numerically shown that the proposed algorithm is computationally more efficient than the previously studied Petri net-based optimization methods. Note to Practitioners—Resource scheduling is one of the most important managerial issues in diverse industrial systems. An optimal scheduling method for a certain industrial system is often locally developed by utilizing domain-specific operational properties. Although such domain-dependent knowledge can contribute to enhancing the computational efficiency of an optimization method, such an approach has a weak point that the method might not be applicable to scheduling problems of different industrial fields. Our motivation is to develop an algorithm for optimizing steady-state schedules that can be robustly applied for various types of discrete-event systems. The algorithm is developed on the basis of the Petri net modeling framework as it is widely being used for describing cyclic behaviors of diverse manufacturing systems, service systems, and social-systems. It is experimentally shown that the proposed algorithm is computationally efficient compared with the existing cyclic scheduling methods.

A New Scheduling Model Based on Extended Petri Net - TREM Net

Petri Nets Model of Emergency Control System for Shipping

Scheduling Fmss Based On A Hybrid Petri Net Framework

Petri Net Based Software Testing Scheduling And Selecting

Research on PN-based scheduling stability for reentrant medical testing system

Distributed Intelligent Scheduling Of Fms

Modeling job shop scheduling with batches and setup times by timed Petri nets

A Max-Plus Algebraic Model For Hybrid Timed Petri Nets And Supervisory Control

A Continuous Process Model for Real-Time Scheduling Based on Hybrid Petri Net

Optimal Scheduling of Semiconductor Manufacture System Based on Improved Petri Net Model

Study on Energy-aware Scheduling Model for Fault Tolerance Real-time Systems

Reachability Tree-Based Optimization Algorithm for Cyclic Scheduling of Timed Petri Nets

Modeling, safety verification and optimization of operating procedures in process systems using hybrid Petri nets

Extended time Petri nets

Embedded RTOS Task Schedule Modeling Based on CPN

Petri-net-based deep reinforcement learning for real-time scheduling of automated manufacturing systems

A Petri Net and Extended Genetic Algorithm Combined Scheduling Method for Wafer Fabrication

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

Petri net-based scheduling strategy and energy modeling for the cylinder block remanufacturing under uncertainty

An integrated approach for remanufacturing job shop scheduling with routing alternatives

Modeling Enterprise Architecture Using Timed Colored PETRI Net: Single Processor Scheduling