A Method to Compute Siphons Based on Matrix Manipulation

Xue Peng Chen; Liang Xu Zhao; Shan Fa Lin; Wen Hui Wu

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

Paper Titles

Finite Element Analysis on the Mechanism of Axial Turning-Grinding of Engineering Ceramics
p.465

Numerical Simulation of Heat and Moisture Transfer in System of Human-Clothing with Phase Change Materials-Environment
p.470

3-D Simulation of Heat and Moisture Transfer in Human-Clothing-Environment System
p.475

Study on the Film Coating Methods on Inner Surface of Long-Straight Tubes
p.481

A Method to Compute Siphons Based on Matrix Manipulation
p.486

Patch Reconstruction with T-Splines Iterated Fitting for Mesh Surface
p.491

Study on Adsorption Properties of Fe³⁺ by Modified Hunan Black Tea
p.497

Harm and Trapping Strategy Research on Tiny Dusts PM2.5
p.503

Expressions for the G-Drazin Inverse of Additive Perturbed Elements
p.509

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 88-89A Method to Compute Siphons Based on Matrix...

A Method to Compute Siphons Based on Matrix Manipulation

Abstract:

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 (S³PR). 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.

You might also be interested in these eBooks

Computer-Aided Design, Manufacturing, Modeling and Simulation

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 88-89)

Pages:

486-490

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.88-89.486

Citation:

Cite this paper

Online since:

August 2011

Authors:

Xue Peng Chen, Liang Xu Zhao, Shan Fa Lin, Wen Hui Wu

Keywords:

Deadlock, FMS, Petri Net, S³PR, Siphon

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] FANTI M.P., ZHOU M.C.: Deadlock control methods in automated manufacturing systems, IEEE Trans. Syst. Man, Cybern. A., 2004, 34, p.5–22.

DOI: 10.1109/tsmca.2003.820590

Google Scholar

[2] ZHOU M.C., VENKATESH K.: Modeling, simulation and control of flexible manufacturing systems: A Petri net approach, (World Scientific, 1998).

Google Scholar

[3] T. Murata, Petri nets: properties, analysis, and applications, Proc. IEEE, vol. 77, pp.541-580, (1989).

DOI: 10.1109/5.24143

Google Scholar

[4] Z. W. Li, M. C. Zhou, and N. Q. Wu, A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems, IEEE Trans. Syst., Man, Cybern., C, Appl. Rev., vol. 38, no. 2, pp.173-188, Apr. (2008).

DOI: 10.1109/tsmcc.2007.913920

Google Scholar

[5] F. Chu, X.L. Xie, Deadlock analysis of Petri nets using siphons and mathematical programming, IEEE Trans. Robot. Autom., 1997, 13(6): 793-804.

DOI: 10.1109/70.650158

Google Scholar

[6] Yisheng Huang, MuDer Jeng, Xiaolan Xie, and Shengluen Chung, Deadlock prevention policy based on Petri nets and siphons, International Journal of Production Research, 2001, 39(2): 283-305.

DOI: 10.1109/robot.2001.932606

Google Scholar

[7] Z. W. Li and M. C. Zhou, Two-stage method for synthesizing livenessenforcing supervisors for flexiblemanufacturing systems using Petri nets, IEEE Trans. Ind. Inf., vol. 2, no. 4, p.313–325, Nov. (2006).

DOI: 10.1109/tii.2006.885185

Google Scholar

[8] F. Chu and X. L. Xie, Deadlock analysis of Petri net using siphons and mathematical programming, , IEEE Tran. Robot. Autom., vol. 13, no. 6, pp.793-804, Eec. (1997).

DOI: 10.1109/70.650158

Google Scholar