Volume 9 Number 3 (Mar. 2014)
Home > Archive > 2014 > Volume 9 Number 3 (Mar. 2014) >
JSW 2014 Vol.9(3): 582-588 ISSN: 1796-217X
doi: 10.4304/jsw.9.3.582-588

A Fast Method for Extracting all Minimal Siphons from Maximal Unmarked Siphons of a Petri Net

Qiaoli Zhuang1, Wenzhan Dai2
1School of Information Science and Technology, Zhejiang Sci-Tech University, Hangzhou 310018, China
2School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou 310018, China

Abstract—In this paper, a fast method named algorithm 2 is proposed to extract all minimal siphons from maximal unmarked siphons obtained by the MIP-based deadlock detection method. Redundant computation is the major disadvantage of an existing method named algorithm 1 and it greatly decreases the computational efficiency of minimal siphons. In order to resolve this problem, the proposed method improves from three aspects. Firstly, no sink places and transitions exist in the subnet of the tree. Secondly, no equal non-null node exists in the tree. Thirdly, if the removal of one place from a subnet node leads to the removal of all places in this node, the same place of its son node is unnecessary to compute repeatedly. The applications of algorithm 2 are illustrated with FMS examples in the following sections and comparison of algorithm 1 with algorithm 2 is also presented. At the end, the result from experiment shows that the proposed method has higher efficiency.

Index Terms—deadlock,flexible manufacturing system (FMS), Petri net


Cite: Qiaoli Zhuang, Wenzhan Dai, "A Fast Method for Extracting all Minimal Siphons from Maximal Unmarked Siphons of a Petri Net," Journal of Software vol. 9, no. 3, pp. 582-588, 2014.

General Information

ISSN: 1796-217X (Online)
Frequency:  Bimonthly (Since 2020)
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, Google Scholar, ProQuest, INSPEC(IET), ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Apr 26, 2021 News!

    Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec)     [Click]

  • Jun 22, 2020 News!

    Papers published in JSW Vol 14, No 1- Vol 15 No 4 have been indexed by DBLP     [Click]

  • Sep 13, 2021 News!

    The papers published in Vol 16, No 6 have all received dois from Crossref    [Click]

  • Jan 28, 2021 News!

    [CFP] 2021 the annual meeting of JSW Editorial Board, ICCSM 2021, will be held in Rome, Italy, July 21-23, 2021   [Click]

  • Sep 13, 2021 News!

    Vol 16, No 6 has been published with online version     [Click]