A Method to Compute Siphons Based on Matrix Manipulation

Abstract:

Article Preview

As a structural object of Petri nets, siphons are significant in the analysis and control of deadlocks in a Petri net. However, some existing siphon computation methods are quite time-consuming. In this paper, based on incidence matrix manipulation, a new method is proposed to compute a set of siphons in a class of Petri nets called systems of simple sequential processes with resources (S3PR). The proposed method consists of two algorithms: 1) computation of an unmarked maximal siphon and 2) obtain minimal siphons from an unmarked maximal siphon. A flexible manufacturing systems (FMS) example is used to illustrate the proposed method.

Info:

Periodical:

Edited by:

Xingui He, Ertian Hua, Yun Lin and Xiaozhu Liu

Pages:

486-490

DOI:

10.4028/www.scientific.net/AMM.88-89.486

Citation:

X. P. Chen et al., "A Method to Compute Siphons Based on Matrix Manipulation", Applied Mechanics and Materials, Vols. 88-89, pp. 486-490, 2011

Online since:

August 2011

Keywords:

Export:

Price:

$35.00

In order to see related information, you need to Login.

In order to see related information, you need to Login.