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:  Quarterly
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, CNKIGoogle Scholar, ProQuest, INSPEC(IET), ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsweditorialoffice@gmail.com
  • Mar 01, 2024 News!

    Vol 19, No 1 has been published with online version    [Click]

  • Jan 04, 2024 News!

    JSW will adopt Article-by-Article Work Flow

  • Apr 01, 2024 News!

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

  • Apr 01, 2024 News!

    Papers published in JSW Vol 18, No 1- Vol 18, No 6 have been indexed by DBLP   [Click]

  • Nov 02, 2023 News!

    Vol 18, No 4 has been published with online version   [Click]