Abstract
An approach is proposed for modeling and scheduling batch production systems based on Petri nets. First, a group of jobs to be carried out by a batch production system is modeled by a transition-timed Petri net according to logical relations between operations and time requirements on operations. Second, conflict relations between operations are obtained by operation-resource diagrams that describe how operations compete for resources, and are formally expressed by linear constraints. Third, monitor places are designed to enforce linear constraints on the transition-timed Petri net, and a plant net is consequently built and made free of conflicts between operations, which can well emulate a real batch production system. Fourth, an optimal schedule problem, where the optimization performance index is to minimize a makespan, is formalized based on a plant net. Finally, a new variant of filtered beam search method is proposed to solve the problem based on an ad hoc function and a dynamical timed extended reachability graph of a plant net. A typical chemical production plant illustrates the theoretic results.
Highlights
In a batch production process, operations require a large number of resources, such as valves and reactors
A batch production system can be viewed as a discrete event system (DES) since its evolution is driven by various events such as starting and ending an operation, opening
1) A method is presented to model batch production systems by T-Timed Petri nets (TPNs), where productive processes and conflicts between operations are represented by Petri net structures
Summary
In a batch production process, operations require a large number of resources, such as valves and reactors. J. Zhou et al.: Modeling and Scheduling Methods for Batch Production Systems Based on Petri Nets and Heuristic Search mentioned methods fail to formally determine and represent conflict relations among operations by Petri net structures since it is a challenging issue due to the large number of devices and their complicated relations defined by recipes. Tsinarakis and Tsourveloudis [8] present a transition-timed Petri net (T-TPN) for the modeling, analysis, synthesis and performance evaluation of batch production systems. 1) A method is presented to model batch production systems by T-TPNs, where productive processes and conflicts between operations are represented by Petri net structures. The iterative construction of the D-TERG is driven by the FBS that prunes non-promising branches This new scheduling strategy is successfully applied to the T-TPN models of the batch production system.
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
