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 Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Most existing deadlock prevention studies on flexible manufacturing systems (FMSs) resort to Petri nets (PNs) by designing controllers for them. PNs are an effective tool for analyzing and modeling the dynamic behavior of FMSs. As an important subclass of PNs, the system of simple sequential processes with resources (S3PR) can be used to model many FMSs. This paper proposes a novel resource configuration method based on structural analysis to ensure the liveness of an S3PR. The restrictive relation between the initial marking of the process idle places and a special PN structure called strongly connected characteristic resource sunnets (SCCRSs) is first explored by employing the corresponding relation between SCCRSs and their related strict minimal siphons. With the structural properties of SCCRSs, functions invoked to compute the configuration marking for the resource places in an SCCRS are established. Then, an algorithm for computing a configuration marking in an S3PR is developed, and a resource configuration tree is correspondingly generated according to the execution of the developed algorithm. Thus, the liveness of the configured system is ensured, while the siphon enumerations are avoided. It is shown that the computational complexity of the developed algorithm is polynomial, which is more efficient than other existing ones. Examples are finally provided to illustrate the mentioned results.

Resource Configuration Analysis for a Class of Petri Nets Based on Strongly Connected Characteristic Resource Subnets