English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

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.

Modeling and Scheduling Methods for Batch Production Systems Based on Petri Nets and Heuristic Search