@inproceedings{a4e1504cfbc9487e82d37376c30a82e7,
title = "A method to check liveness of WS3PR",
abstract = "Petri nets are widely used to model flexible manufacturing systems (FMSs) because they can help analyze the properties and synthesize deadlock-free supervisory controllers of FMS. Weighted System of Simple Sequential Processes with Resources (WS3PR) is an important subclass of Petri nets that can well model many FMSs. This work first gives new algorithms to check liveness for a WS3PR net via its subnet trees and structure. Then the computation complexity for the proposed method is shown in this paper, to be polynomial under certain limitations. Finally, sufficient conditions for deciding liveness of a WS3PR are established. An example is used to illustrate the results.",
keywords = "Liveness, Petri net, deadlock, flexible manufacturing system",
author = "Shouguang Wang and Miao Liu and Mengchu Zhou and Wenhui Wu",
note = "Publisher Copyright: {\textcopyright} 2014 TCCT, CAA.; Proceedings of the 33rd Chinese Control Conference, CCC 2014 ; Conference date: 28-07-2014 Through 30-07-2014",
year = "2014",
month = sep,
day = "11",
doi = "10.1109/ChiCC.2014.6895612",
language = "English (US)",
series = "Proceedings of the 33rd Chinese Control Conference, CCC 2014",
publisher = "IEEE Computer Society",
pages = "4028--4033",
editor = "Shengyuan Xu and Qianchuan Zhao",
booktitle = "Proceedings of the 33rd Chinese Control Conference, CCC 2014",
address = "United States",
}