Open AccessSufficient conditions for loop resource subsets to derive strict minimal siphons in class of Petri nets
Author(s) -
Liu Miao,
Wang ShouGuang,
Li Zhiwu
Publication year - 2014
Publication title -
electronics letters
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.375
H-Index - 146
ISSN - 1350-911X
DOI - 10.1049/el.2013.3095
Subject(s) - petri net , resource (disambiguation) , class (philosophy) , process architecture , computer science , distributed computing , object (grammar) , loop (graph theory) , petri dish , simple (philosophy) , net (polyhedron) , stochastic petri net , resource allocation , theoretical computer science , mathematics , artificial intelligence , computer network , philosophy , geometry , epistemology , combinatorics , biology , genetics
As a structural object of Petri nets, the importance of strict minimal siphons (SMSs) is well recognised in the analysis and control of deadlocks for flexible manufacturing systems. For a class of Petri nets called systems of simple sequential processes with resources (S 3 PRs), the concepts of critical resource places and their related multi‐way holder places are firstly proposed. Next, by analysing the structural properties of the critical resource places and their related loop resource subsets, sufficient conditions for loop resource subsets to derive SMSs are established. Finally, based on the proposed results, all SMSs can be obtained from their related loop resource subsets in an S 3 PR net.