메뉴 건너뛰기




Volumn 33, Issue 1, 2003, Pages 1-11

Sequential Failure Analysis Using Counters of Petri Net Models

Author keywords

Petri nets; Reliability; Sequential failures; System reliability and safety

Indexed keywords

FAILURE ANALYSIS; MATHEMATICAL MODELS; PETRI NETS; PROBABILITY DISTRIBUTIONS; RELIABILITY THEORY; SYSTEMS ANALYSIS;

EID: 0142227722     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2003.812595     Document Type: Article
Times cited : (20)

References (41)
  • 1
    • 0017266096 scopus 로고    scopus 로고
    • On the quantitative analysis of priority-AND failure logic
    • R-1976
    • J. B. Fussel, E. F. Alber, and R. G. Rahl, "On the quantitative analysis of priority-AND failure logic," IEEE Trans. Rel., vol. R-25, pp. 324-326, R-1976.
    • IEEE Trans. Rel. , vol.R-25 , pp. 324-326
    • Fussel, J.B.1    Alber, E.F.2    Rahl, R.G.3
  • 2
    • 0142204639 scopus 로고
    • An assessment of accident risk in U. S. commercial nuclear power plants
    • Washington, DC: WASH-1400 (NUREG-75/014)
    • US Nuc. Reg. Commission, "An assessment of accident risk in U. S. commercial nuclear power plants," in Reactor Safety Study. Washington, DC: WASH-1400 (NUREG-75/014), 1975.
    • (1975) Reactor Safety Study
  • 3
    • 0006141665 scopus 로고    scopus 로고
    • A comparison between probabilistic models for quantification of priority-AND gates
    • W. Long and Y. Sato, "A comparison between probabilistic models for quantification of priority-AND gates," in Proc. PSAM-4, vol. 2, 1998, pp. 1215-1220.
    • (1998) Proc. PSAM-4 , vol.2 , pp. 1215-1220
    • Long, W.1    Sato, Y.2
  • 4
    • 0025449453 scopus 로고
    • An action-chain model for the design of hazard control system for robots
    • June
    • Y. Sato, E. J. Henley, and K. Inoue, "An action-chain model for the design of hazard control system for robots," IEEE Trans. Rel, vol. 39, pp. 151-157, June 1990.
    • (1990) IEEE Trans. Rel. , vol.39 , pp. 151-157
    • Sato, Y.1    Henley, E.J.2    Inoue, K.3
  • 5
    • 0006140517 scopus 로고    scopus 로고
    • The design of hazard control systems and its PSA for advanced mechatronics
    • Y. Sato, "The design of hazard control systems and its PSA for advanced mechatronics," in Proc. PSAM-3, vol. 3, 1996, pp. 1959-1964.
    • (1996) Proc. PSAM-3 , vol.3 , pp. 1959-1964
    • Sato, Y.1
  • 8
    • 0033907928 scopus 로고    scopus 로고
    • Quantification of sequential failure logic for fault tree analysis
    • W. Long, Y. Sato, and M. Horigone, "Quantification of sequential failure logic for fault tree analysis," Rel. Eng. Syst. Saf., vol. 67, pp. 269-274, 2000.
    • (2000) Rel. Eng. Syst. Saf. , vol.67 , pp. 269-274
    • Long, W.1    Sato, Y.2    Horigone, M.3
  • 9
    • 0034187880 scopus 로고    scopus 로고
    • Monte Carlo simulation for analysis of sequential failure Logic
    • W. Long, Y. Sato, and H. Zhang, "Monte Carlo simulation for analysis of sequential failure Logic," IEICE Trans. Fund., vol. E83-A, no. 5, pp. 812-817, 2000.
    • (2000) IEICE Trans. Fund. , vol.E83-A , Issue.5 , pp. 812-817
    • Long, W.1    Sato, Y.2    Zhang, H.3
  • 10
    • 0006140516 scopus 로고
    • Taking into account of dependency relations in the Monte Carlo simulation of noncoherent fault trees
    • L. Ngom, A. Cabarbaye, arid C. Barpm, "Taking into account of dependency relations in the Monte Carlo simulation of noncoherent fault trees," in Proc. PSAM-4, vol. 3, 1908, pp. 2067-2072.
    • (1908) Proc. PSAM-4 , vol.3 , pp. 2067-2072
    • Ngom, L.1    Cabarbaye, A.2    Barpm, C.3
  • 11
    • 0006191278 scopus 로고    scopus 로고
    • A case study of risk assessment for product liability prevention
    • Y. Shibata and Y. Sato, "A case study of risk assessment for product liability prevention," in Proc. of the PSAM-4, vol. 2, 1998, pp. 1215-1220.
    • (1998) Proc. of the PSAM-4 , vol.2 , pp. 1215-1220
    • Shibata, Y.1    Sato, Y.2
  • 12
    • 0022880618 scopus 로고
    • Stochastic domino model for a sequential failure process
    • J. H. Pickles, "Stochastic domino model for a sequential failure process," Rel. Eng., vol. 6, no. 3, pp. 219-236, 1986.
    • (1986) Rel. Eng. , vol.6 , Issue.3 , pp. 219-236
    • Pickles, J.H.1
  • 14
    • 0023670512 scopus 로고
    • A generalized timed Petri net model for performance analysis
    • M. A. Holliday and M. K. Vernon, "A generalized timed Petri net model for performance analysis," IEEE Trans. Software Eng., vol. SE-13, pp. 1297-1310, 1987.
    • (1987) IEEE Trans. Software Eng. , vol.SE-13 , pp. 1297-1310
    • Holliday, M.A.1    Vernon, M.K.2
  • 15
    • 0024645936 scopus 로고
    • Petri nets: Properties, analysis, and applications
    • Apr.
    • T. Murata, "Petri nets: Properties, analysis, and applications," Proc. IEEE, vol. 77, pp. 541-579, Apr. 1989.
    • (1989) Proc. IEEE , vol.77 , pp. 541-579
    • Murata, T.1
  • 16
    • 0028440955 scopus 로고
    • Extended Petri net-based modeling, analysis and simulation of an intelligent materials handling system
    • K. P. Ramaswamy, S. Valavanis, and S. P. Landry, "Extended Petri net-based modeling, analysis and simulation of an intelligent materials handling system," J. Intell. Robot. Syst., vol. 10, no. 1, pp. 79-108, 1994.
    • (1994) J. Intell. Robot. Syst. , vol.10 , Issue.1 , pp. 79-108
    • Ramaswamy, K.P.1    Valavanis, S.2    Landry, S.P.3
  • 17
    • 0031197341 scopus 로고    scopus 로고
    • Application of Petri nets to failure analysis
    • T. S. Liu and B. S. Chiou, "Application of Petri nets to failure analysis," Reliab. Eng. Syst. Safety, vol. 57, pp. 129-142, 1997.
    • (1997) Reliab. Eng. Syst. Safety , vol.57 , pp. 129-142
    • Liu, T.S.1    Chiou, B.S.2
  • 18
    • 0034655052 scopus 로고    scopus 로고
    • Decomposition in automatic generation of Petri nets for manufacturing systems control and scheduling
    • D. W. He, B. Strege, H. Tolle, and A. Kusiak, "Decomposition in automatic generation of Petri nets for manufacturing systems control and scheduling," Int. J. Prod. Res., vol. 38, no. 6, pp. 1437-1457, 2000.
    • (2000) Int. J. Prod. Res. , vol.38 , Issue.6 , pp. 1437-1457
    • He, D.W.1    Strege, B.2    Tolle, H.3    Kusiak, A.4
  • 19
    • 0003148895 scopus 로고
    • Introduction to Petri nets in flexible and agile automation
    • Norwell, MA: Kluwer
    • M. Zhou and R. Zurawski, "Introduction to Petri nets in flexible and agile automation," in Petri Nets in Flexible and Agile Automation. Norwell, MA: Kluwer, 1995, pp. 1-42.
    • (1995) Petri Nets in Flexible and Agile Automation , pp. 1-42
    • Zhou, M.1    Zurawski, R.2
  • 20
    • 0020175425 scopus 로고
    • Performance analysis using stochastic Petri nets
    • M. K. Molloy, "Performance analysis using stochastic Petri nets," IEEE Trans. Comput., vol. 3, pp. 913-917, 1982.
    • (1982) IEEE Trans. Comput. , vol.3 , pp. 913-917
    • Molloy, M.K.1
  • 21
    • 0022045201 scopus 로고
    • Discrete time stochastic Petri nets
    • _, "Discrete time stochastic Petri nets," IEEE Trans. Software Eng., vol. SE-11, pp. 417-423, 1985.
    • (1985) IEEE Trans. Software Eng. , vol.SE-11 , pp. 417-423
  • 22
    • 0025748431 scopus 로고
    • Stochastic Petri nets: Properties, applications, and tools
    • G. Florin, C. Fraize, and S. Natkin, "Stochastic Petri nets: Properties, applications, and tools," Microelectron. Reliab., vol. 31, no. 4, pp. 669-697, 1991.
    • (1991) Microelectron. Reliab. , vol.31 , Issue.4 , pp. 669-697
    • Florin, G.1    Fraize, C.2    Natkin, S.3
  • 25
    • 0024169661 scopus 로고
    • The use of Petri nets to analyze coherent fault trees
    • Dec.
    • G. Hura and J. Atwood, "The use of Petri nets to analyze coherent fault trees," IEEE Trans. Rel, vol. 37, pp. 469-474, Dec. 1988.
    • (1988) IEEE Trans. Rel. , vol.37 , pp. 469-474
    • Hura, G.1    Atwood, J.2
  • 26
    • 0142142728 scopus 로고
    • System modeling with Petri nets, in System Reliability Assessment
    • A. Colombo and A. Saiz de Bustamante, Eds. Madrid, Spain
    • A. Bobbio, "System modeling with Petri nets, in System Reliability Assessment," in Proc. ISPRA Course, A. Colombo and A. Saiz de Bustamante, Eds. Madrid, Spain, 1988.
    • (1988) Proc. ISPRA Course
    • Bobbio, A.1
  • 27
    • 0027838232 scopus 로고
    • Petri net modeling and reliability evaluation of distributed processing systems
    • V. Kumar and K. Aggrawal, "Petri net modeling and reliability evaluation of distributed processing systems," Reliab. Eng. Syst. Safety, vol. 41, no. 2, pp. 167-176, 1993.
    • (1993) Reliab. Eng. Syst. Safety , vol.41 , Issue.2 , pp. 167-176
    • Kumar, V.1    Aggrawal, K.2
  • 29
    • 0023314258 scopus 로고
    • Safety analysis using Petri nets
    • N. Levenson and J. Stolzy, "Safety analysis using Petri nets," IEEE Trans. Software Eng., vol. SE-13, pp. 386-397, 1987.
    • (1987) IEEE Trans. Software Eng. , vol.SE-13 , pp. 386-397
    • Levenson, N.1    Stolzy, J.2
  • 30
    • 0031139934 scopus 로고    scopus 로고
    • Failure analysis for an airbag inflator by Petri nets
    • S. Yang and T. Liu, "Failure analysis for an airbag inflator by Petri nets," Qual. Reliab. Eng. Int., vol. 13, no. 3, pp. 139-151, 1997.
    • (1997) Qual. Reliab. Eng. Int. , vol.13 , Issue.3 , pp. 139-151
    • Yang, S.1    Liu, T.2
  • 31
    • 0029546457 scopus 로고
    • Study on reliability of manufacturing system based on Petri net
    • C. Jiang, B. Diao, and F. Wu,. "Study on reliability of manufacturing system based on Petri net," High Tech. Lett., vol. 1, no. 2, pp. 25-30, 1995.
    • (1995) High Tech. Lett. , vol.1 , Issue.2 , pp. 25-30
    • Jiang, C.1    Diao, B.2    Wu, F.3
  • 32
    • 0142235545 scopus 로고    scopus 로고
    • GSPN based reliability modeling and analysis of CIMS
    • H. Xiong and Y. He, "GSPN based reliability modeling and analysis of CIMS," Mech. Sci. Technol., vol. 16, pp. 1103-1106, 1997.
    • (1997) Mech. Sci. Technol. , vol.16 , pp. 1103-1106
    • Xiong, H.1    He, Y.2
  • 33
    • 0034204926 scopus 로고    scopus 로고
    • Failure modeling and process monitoring for flexible-manufacturing systems using colored timed Petri nets
    • June
    • C. H. Kuo and H. P. Huang, "Failure modeling and process monitoring for flexible-manufacturing systems using colored timed Petri nets," IEEE Trans. Robot. Automat., vol. 16, pp. 301-312, June 2000.
    • (2000) IEEE Trans. Robot. Automat. , vol.16 , pp. 301-312
    • Kuo, C.H.1    Huang, H.P.2
  • 34
    • 0036604346 scopus 로고    scopus 로고
    • Analysis of sequential failure for assessment of reliability and safety of manufacturing systems
    • A. Adamyan and D. He, "Analysis of sequential failure for assessment of reliability and safety of manufacturing systems," Reliab. Eng. Syst. Saf., vol. 76, pp. 227-236, 2002.
    • (2002) Reliab. Eng. Syst. Saf. , vol.76 , pp. 227-236
    • Adamyan, A.1    He, D.2
  • 35
    • 0036055701 scopus 로고    scopus 로고
    • Failure and safety assessment of systems using Petri nets
    • Washington, DC, May 11-15
    • A. Adamyan and D. He, "Failure and safety assessment of systems using Petri nets," in Proc. 2002 IEEE Int. Conf. Robotics Automation, Washington, DC, May 11-15, 2002.
    • (2002) Proc. 2002 IEEE Int. Conf. Robotics Automation
    • Adamyan, A.1    He, D.2
  • 36
    • 0142235547 scopus 로고    scopus 로고
    • An impact analysis methodology for design of product and process for reliability and quality
    • Pittsburgh, PA, Sept.
    • D. He and A. Adamyan, "An impact analysis methodology for design of product and process for reliability and quality," in Proc. 6th Design Manufacturing Conf., Pittsburgh, PA, Sept. 2001.
    • (2001) Proc. 6th Design Manufacturing Conf.
    • He, D.1    Adamyan, A.2
  • 37
    • 0032647220 scopus 로고    scopus 로고
    • Failures and related topics
    • Mar.
    • T. Yellman, "Failures and related topics," IEEE Trans. Rel., vol. 48, pp. 6-8, Mar. 1999.
    • (1999) IEEE Trans. Rel. , vol.48 , pp. 6-8
    • Yellman, T.1
  • 38
    • 0035329425 scopus 로고    scopus 로고
    • Firing and enabling sequential estimation for timed Petri nets
    • May
    • D. Lefebvre and A. Moudni, "Firing and enabling sequential estimation for timed Petri nets," IEEE Trans. Syst., Man, Cybern. A, vol. 31, pp. 153-162, May 2001.
    • (2001) IEEE Trans. Syst., Man, Cybern. A , vol.31 , pp. 153-162
    • Lefebvre, D.1    Moudni, A.2
  • 39
    • 0027166376 scopus 로고
    • Paralleled simulation of stochastic Petri nets using recurrence equations
    • F. Baccelli and M. Canales, "Paralleled simulation of stochastic Petri nets using recurrence equations," ACM Trans. Modeling Comput. Simulat., vol. 3, no. 1, pp. 20-41, 1991.
    • (1991) ACM Trans. Modeling Comput. Simulat. , vol.3 , Issue.1 , pp. 20-41
    • Baccelli, F.1    Canales, M.2
  • 41
    • 0030412494 scopus 로고    scopus 로고
    • Free-choice Petri net - An algebraic approach
    • Dec.
    • F. Bacceli, S. Foss, and B. Gaujal, "Free-choice Petri net - An algebraic approach," IEEE Trans. Automat. Contr., vol. 41, pp. 1751-1778, Dec. 1996.
    • (1996) IEEE Trans. Automat. Contr. , vol.41 , pp. 1751-1778
    • Bacceli, F.1    Foss, S.2    Gaujal, B.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.