메뉴 건너뛰기




Volumn , Issue , 2007, Pages 104-109

Modeling infrastructure interdependency among floodplain infrastructures with extended petri-net

Author keywords

Infrastructure; Interdependency; Markov Chain; Reachability graph; Transition probability

Indexed keywords

BANKS (BODIES OF WATER); DAMS; ELECTRIC POWER PLANTS; FISCHER-TROPSCH SYNTHESIS; GRAPH THEORY; GRAVITY DAMS; HYDRAULIC STRUCTURES; MARKOV PROCESSES; MODAL ANALYSIS; PLANT SHUTDOWNS; POWER PLANTS; RANDOM PROCESSES; WATER ANALYSIS;

EID: 56349159659     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (3)

References (22)
  • 1
    • 0004065920 scopus 로고
    • PhD thesis, Technical University Darmstadt, Germany
    • C.A. Petri, 'Communicating with Automata'. PhD thesis, Technical University Darmstadt, Germany, 1962.
    • (1962) Communicating with Automata
    • Petri, C.A.1
  • 2
    • 0023438946 scopus 로고
    • Petri net applications
    • G.S. Hura, 'Petri net applications', IEEE Potentials, 6(3), 1987, 25-28.
    • (1987) IEEE Potentials , vol.6 , Issue.3 , pp. 25-28
    • Hura, G.S.1
  • 3
    • 0242660386 scopus 로고    scopus 로고
    • O. Gursesli, and A.A. Desrochers, 'Modeling infrastructure interdependencies using Petri Nets'. Systems, Man and Cybernetics, IEEE International Conference, 2, 2003, 1506-1512.
    • O. Gursesli, and A.A. Desrochers, 'Modeling infrastructure interdependencies using Petri Nets'. Systems, Man and Cybernetics, IEEE International Conference, 2, 2003, 1506-1512.
  • 5
    • 16344381707 scopus 로고    scopus 로고
    • Application of Petri net theory for modelling and validation of the sucrose breakdown pathway in the potato tuber
    • I. Koch, B.H. Junker, and M. Heiner, 'Application of Petri net theory for modelling and validation of the sucrose breakdown pathway in the potato tuber'. Bioinformatics, 21(7), 2005, 1219-1226.
    • (2005) Bioinformatics , vol.21 , Issue.7 , pp. 1219-1226
    • Koch, I.1    Junker, B.H.2    Heiner, M.3
  • 6
    • 0003576234 scopus 로고
    • Analysis of asynchronous concurrent systems by timed Petri nets
    • Project MAC-TR-120, Massachusetts Institute of Technology, Cambridge MA
    • C. Ramchandani, 'Analysis of asynchronous concurrent systems by timed Petri nets'. Project MAC Technical report MAC-TR-120, Massachusetts Institute of Technology, Cambridge MA, 1974.
    • (1974) MAC Technical report
    • Ramchandani, C.1
  • 7
    • 56349169769 scopus 로고
    • Timed Petri Nets and preliminary performance evaluation
    • W.M. Zuberek, 'Timed Petri Nets and preliminary performance evaluation'. IEEE, CH1494-4/80/0000-0088, 1980.
    • (1980) IEEE, CH1494-4/80/0000-0088
    • Zuberek, W.M.1
  • 9
    • 56349146020 scopus 로고    scopus 로고
    • W.M. Zuberek, 'Modified M-timed Petri Nets in modeling and performance evaluation of systems'. ACM, 0-89791-218-7/87/0002-0261, 1987.
    • W.M. Zuberek, 'Modified M-timed Petri Nets in modeling and performance evaluation of systems'. ACM, 0-89791-218-7/87/0002-0261, 1987.
  • 10
    • 56349161487 scopus 로고
    • Timed Petri Net models of queuing systems
    • 0896-582X/87/0000/0324
    • W.M. Zuberek, 'Timed Petri Net models of queuing systems'. IEEE, 0896-582X/87/0000/0324, 1988.
    • (1988) IEEE
    • Zuberek, W.M.1
  • 15
    • 56349157386 scopus 로고    scopus 로고
    • U. S. Department of the Interior, Bureau of Reclamation, Montana Area Office, Billings, MT. Website
    • U. S. Department of the Interior, (2007). Canyon Ferry Dam, Bureau of Reclamation, Montana Area Office, Billings, MT. Website: http://www.usbr.gov/ dataweb/dams/mt00568.htm
    • (2007) Canyon Ferry Dam
  • 16
    • 10444262093 scopus 로고    scopus 로고
    • A method for the study of cascading effects within lifeline networks
    • B. Robert, 'A method for the study of cascading effects within lifeline networks'. International J. of Critical Infrastructures, 1(1), 2004, 86-99.
    • (2004) International J. of Critical Infrastructures , vol.1 , Issue.1 , pp. 86-99
    • Robert, B.1
  • 17
    • 56349153502 scopus 로고
    • System modeling with Petri Nets
    • Kluwer p.c
    • A. Bobbio, 'System modeling with Petri Nets'. System Reliability Assessment, Kluwer p.c., 1990, 102-143.
    • (1990) System Reliability Assessment , pp. 102-143
    • Bobbio, A.1
  • 18
    • 56349085009 scopus 로고
    • Petri net theory: A survey
    • Technical report, no. 139, Univ. of Cambridge, Computer Laboratory, UK
    • P.R. Manson, 'Petri net theory: a survey'. Technical report, no. 139, Univ. of Cambridge, Computer Laboratory, UK, 1988.
    • (1988)
    • Manson, P.R.1
  • 19
    • 0024645936 scopus 로고
    • Petri Nets: Properties, analysis and applications
    • T. Murata, 'Petri Nets: properties, analysis and applications'. Proceedings of the IEEE, 77(4), 1989, 541-580.
    • (1989) Proceedings of the IEEE , vol.77 , Issue.4 , pp. 541-580
    • Murata, T.1


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