@inproceedings{1b4b280810a54fbeae3f8ff365349b9c,
title = "On intrinsically live structure of a class of generalized petri nets modeling FMS",
abstract = "The deadlock control and liveness-enforcement are mostly implemented based on siphons in most existing work using structural theory. Our previous work has revealed a kind of intrinsically live structures in a class of generalized Petri nets called systems of simple sequential processes with weighted resources allocation (WS3PR). The liveness-enforcement is achieved by analyzing the structure including weight information and reconfiguring the initial marking of resource places without considering the initial token counts in idle process places. This work extends it to a more general class than WS 3PR. Instead of siphons, a new concept of structural objects is defined to carry weight information and reflect the circular waits of resources. The numerical relationship between initial markings of resource places and weights of arcs is investigated to yield an intrinsically live structure-based liveness-enforcing method that requires no external monitors. The work provides an insight into structures of generalized Petri nets and a new revenue to achieve the desired deadlock control. Several examples are used to illustrate the proposed method.",
keywords = "Circuit, Deadlock control, Flexible manufacturing system (FMS), Live structure, Petri net",
author = "Ding Liu and Kamel Barkaoui and Zhou, {Meng Chu}",
note = "Funding Information: ⋆ This work was supported in part by the National Natural Science Foundation of China under Grant No. 61074035, the Fundamental Research Funds for the Central Universities under Grant No. JY10000904001 and K50510040012, the National Research Foundation for the Doctoral Program of Higher Education, the Ministry of Education, P. R. China, under Grant No. 20090203110009, the National Basic Research Program of China (973 Program) under Grant No. 2011CB302804.; 11th International Workshop on Discrete Event Systems, WODES 2012 ; Conference date: 03-10-2012 Through 05-10-2012",
year = "2012",
doi = "10.3182/20121003-3-MX-4033.00032",
language = "English (US)",
isbn = "9783902823281",
series = "IFAC Proceedings Volumes (IFAC-PapersOnline)",
publisher = "IFAC Secretariat",
number = "29",
pages = "187--192",
booktitle = "WODES 2012 - 11th International Workshop on Discrete Event Systems, Proceedings",
address = "Austria",
edition = "29",
}