Liveness of an extended S3PR

Authors

Ding Liu, Xidian University
Zhi Wu Li, Martin-Luther-Universität Halle-Wittenberg
Meng Chu Zhou, Newark College of Engineering

Document Type

Article

Publication Date

6-1-2010

Abstract

Most existing prevention methods tackle the deadlock issue arising in flexible manufacturing systems modeled with Petri nets by adding monitors and arcs. Instead, this paper presents a new one based on a characteristic structure of WS³PR, an extension of System of Simple Sequential Processes with Resources (S³PR) with weighted arcs. The numerical relationships among weights, and between weights and initial markings are investigated based on simple circuits of resource places, which are the simplest structure of circular wait, rather than siphons. A WS³PR satisfying a proposed restriction is inherently deadlock-free and live by configuring its initial markings. A set of polynomial algorithms are developed to implement the proposed method. Several examples are used to illustrate them. © 2010 Elsevier Ltd.

Identifier

77953128116 (Scopus)

Publication Title

Automatica

External Full Text Location

https://doi.org/10.1016/j.automatica.2010.03.011

ISSN

00051098

First Page

1008

Last Page

1018

Issue

6

Volume

46

Recommended Citation

Liu, Ding; Li, Zhi Wu; and Zhou, Meng Chu, "Liveness of an extended S3PR" (2010). Faculty Publications. 6303.
https://digitalcommons.njit.edu/fac_pubs/6303