Live WS3PR

Authors

Ding Liu, Xidian University
Zhiwu Li, Xidian University
Mengchu Zhou, Newark College of Engineering

Document Type

Conference Proceeding

Publication Date

1-1-2009

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 deadlock prevention method based on a characteristic structure of WS³PR, an extension of System of Simple Sequential of 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. © 2009 IFAC.

Identifier

79960948089 (Scopus)

ISBN

[9783902661449]

Publication Title

IFAC Proceedings Volumes IFAC Papersonline

External Full Text Location

https://doi.org/10.3182/20090610-3-it-4004.00006

ISSN

14746670

First Page

4

Last Page

9

Issue

PART 1

Volume

2

Grant

60773001

Fund Ref

National Natural Science Foundation of China

Recommended Citation

Liu, Ding; Li, Zhiwu; and Zhou, Mengchu, "Live WS3PR" (2009). Faculty Publications. 12304.
https://digitalcommons.njit.edu/fac_pubs/12304