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

Chulhan Kim,Tae-Sun Yu,Tae-Eog Lee

DOI: https://doi.org/10.1109/tase.2020.3009984

IF: 6.636

2021-07-01

IEEE Transactions on Automation Science and Engineering

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.

automation & control systems

What problem does this paper attempt to address?

### What problem does the paper attempt to solve?

The paper primarily aims to address the following issues:

1. **Optimization of Cyclic Scheduling Algorithms**: It proposes an optimization algorithm based on reachability trees for Timed Petri Nets (TPNs) to optimize cyclic scheduling. Specifically, it focuses on a special type of cyclic scheduling—one-cyclic schedules, where the algorithm can efficiently find the optimal one-cyclic transition firing sequence for TPNs.

2. **Wide Applicability**: The algorithm is not only applicable to manufacturing systems in specific fields but can also be extended to various different scheduling models, demonstrating strong generality and robustness.

3. **Improved Computational Efficiency**: By introducing a series of Transition Ordering Constraints (TOCs), the algorithm reduces the size of the tree during the search process, thereby enhancing computational efficiency. Experiments show that this algorithm outperforms existing Petri net optimization methods in terms of computational efficiency.

4. **Solving Cyclic Scheduling Problems for Large TPNs**: Current optimal cyclic scheduling algorithms for large-scale TPNs still face challenges, especially in manufacturing systems involving more than 20 process stages. The paper aims to propose an improved optimization method to meet the complex scheduling needs in modern manufacturing environments.

In summary, the paper aims to develop an efficient and highly general cyclic scheduling algorithm, particularly suitable for cyclic scheduling problems in various discrete event systems, and to achieve breakthroughs in computational efficiency.