메뉴 건너뛰기




Volumn , Issue , 2002, Pages 515-524

Stepwise construction and refinement of dependability models

Author keywords

[No Author keywords available]

Indexed keywords

DEPENDABILITY MODELS; GENERALIZED STOCHASTIC PETRI NETS; STEPWISE MODELING;

EID: 0036931235     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2002.1028944     Document Type: Conference Paper
Times cited : (11)

References (13)
  • 1
    • 33846674384 scopus 로고
    • On Petri nets with deterministic and exponentially distributed firing time
    • M.A. Ajmone Marsan and G. Chiola. On Petri Nets with Deterministic and Exponentially Distributed Firing Time. LNCS 266:132-145, 1987.
    • (1987) LNCS , vol.266 , pp. 132-145
    • Ajmone Marsan, M.A.1    Chiola, G.2
  • 4
    • 0027796306 scopus 로고
    • SURF-2: A program for dependability evaluation of complex hardware and software systems
    • C. Béounes and al. SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems. Proc. 23rd. Int. Symp. on Fault-Tolerant Computing (FTCS-23), 668-673, 1993.
    • (1993) Proc. 23rd. Int. Symp. on Fault-Tolerant Computing (FTCS-23) , pp. 668-673
    • Béounes, C.1
  • 6
    • 0024882099 scopus 로고
    • Alternative methods for incorporating non-exponential distributions into stochastic timed petri net
    • IEEE Computer Society Press:; December
    • P. Chen, S.C. Bruell and G. Balbo. Alternative Methods for Incorporating Non-Exponential Distributions into Stochastic Timed Petri Net. Proc. of the 3rd Int. Workshop on Petri Nets and Performance Models (PNPM'89), IEEE Computer Society Press: 187-197, December 1989.
    • (1989) Proc. of the 3rd Int. Workshop on Petri Nets and Performance Models (PNPM'89) , pp. 187-197
    • Chen, P.1    Bruell, S.C.2    Balbo, G.3
  • 8
    • 0000342110 scopus 로고    scopus 로고
    • A theory of implementation and refinement in timed petri net
    • M. Felder, A. Gargantini and A. Morzenti. A Theory of Implementation and Refinement in Timed Petri Net. Theoretical Computer Science, 202(1-2):127-161, 1998.
    • (1998) Theoretical Computer Science , vol.202 , Issue.1-2 , pp. 127-161
    • Felder, M.1    Gargantini, A.2    Morzenti, A.3
  • 9
    • 0002277390 scopus 로고    scopus 로고
    • Incremental approach for building stochastic petri nets for dependability modeling
    • (D.C. Ionescuand N. Limnios, Eds.):; Birkhäuser
    • N. Fota, M. Kâaniche and K. Kanoun. Incremental Approach for Building Stochastic Petri Nets for Dependability Modeling. Statistical and Probabilistic Models in Reliability (D.C. Ionescuand N. Limnios, Eds.): 321-335, Birkhäuser, 1999.
    • (1999) Statistical and Probabilistic Models in Reliability , pp. 321-335
    • Fota, N.1    Kâaniche, M.2    Kanoun, K.3
  • 10
    • 0032677411 scopus 로고    scopus 로고
    • Availability of CAUTRA, A subset of the French air traffic control system
    • May
    • K. Kanoun, M. Borrel, T. Morteveille and A. Peytavin. Availability of CAUTRA, A Subset of the French Air Traffic Control System. IEEE Trans. on Computers, 48(5):528-535, May 1999.
    • (1999) IEEE Trans. on Computers , vol.48 , Issue.5 , pp. 528-535
    • Kanoun, K.1    Borrel, M.2    Morteveille, T.3    Peytavin, A.4
  • 12
    • 0020795351 scopus 로고
    • A method for stepwise refinement and abstraction of petri net
    • I. Suzuki and T. Murata. A Method for Stepwise Refinement and Abstraction of Petri Net. Journal of Computer and System Sciences, 27:51-76, 1983.
    • (1983) Journal of Computer and System Sciences , vol.27 , pp. 51-76
    • Suzuki, I.1    Murata, T.2
  • 13
    • 0002367242 scopus 로고
    • Analysis of petri nets by stepwise refinement
    • February
    • R. Valette. Analysis of Petri Nets by Stepwise Refinement. Journal of Computer and System Sciences, 18(1):35-46, February 1979.
    • (1979) Journal of Computer and System Sciences , vol.18 , Issue.1 , pp. 35-46
    • Valette, R.1


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