@inproceedings{506b43f7c7704d428a0a88330be2857f,
title = "Live WS3PR",
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 WS3PR, an extension of System of Simple Sequential of Processes with Resources (S3PR) 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 WS3PR 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.",
keywords = "Circular wait, Deadlock prevention, Flexible Manufacturing System (FMS), Petri nets, Polynomial Algorithms, Simple circuit",
author = "Ding Liu and Zhiwu Li and Mengchu Zhou",
note = "Funding Information: ★ This work was supported by the National Nature Science Foundation of China under Grant No. 60773001, the National Research Foundation for the Doctoral Program of Higher Education, the Ministry of Education, P. R. China, under Grant No. 20070701013, ”863” High-tech Research and Development Program of China under Grant No. 2008AA04Z109, and the Chang Jiang Scholar Program, Ministry of Education, P. R. China. Copyright: Copyright 2021 Elsevier B.V., All rights reserved.",
year = "2009",
doi = "10.3182/20090610-3-it-4004.00006",
language = "English (US)",
isbn = "9783902661449",
series = "IFAC Proceedings Volumes (IFAC-PapersOnline)",
publisher = "IFAC Secretariat",
number = "PART 1",
pages = "4--9",
booktitle = "2nd IFAC Workshop on Dependable Control of Discrete Systems, DCDS'09 - Proceedings",
address = "Austria",
edition = "PART 1",
}