메뉴 건너뛰기




Volumn 2434, Issue , 2002, Pages 273-283

Model-checking based on fluid petri nets for the temperature control system of the ICARO co-generative plant

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL SYSTEMS; FORMAL METHODS; HYBRID SYSTEMS; PETRI NETS; PETROLEUM RESERVOIR EVALUATION; STOCHASTIC MODELS; STOCHASTIC SYSTEMS; TEMPERATURE CONTROL;

EID: 79955521717     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45732-1_27     Document Type: Conference Paper
Times cited : (11)

References (15)
  • 6
    • 0022706656 scopus 로고
    • Automatic verification of finite state concurrent systems using temporal logic specifications: A practical approach
    • E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite state concurrent systems using temporal logic specifications: A practical approach. ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1986.
    • (1986) ACM Transactions on Programming Languages and Systems , vol.8 , Issue.2 , pp. 244-263
    • Clarke, E.M.1    Emerson, E.A.2    Sistla, A.P.3
  • 9
    • 0035131953 scopus 로고    scopus 로고
    • Fluid stochastic Petri nets augmented with flush-out arcs: Modelling and analysis
    • January
    • M. Gribaudo, M. Sereno, A. Horvaath, and A. Bobbio. Fluid stochastic Petri nets augmented with flush-out arcs: Modelling and analysis. Discrete Event Dynamic Systems, 11 (1/2):97-117, January 2001.
    • (2001) Discrete Event Dynamic Systems , vol.11 , Issue.1-2 , pp. 97-117
    • Gribaudo, M.1    Sereno, M.2    Horvaath, A.3    Bobbio, A.4
  • 13
    • 0024645936 scopus 로고
    • Petri nets: Properties, analysis and applications
    • T. Murata. Petri nets: properties, analysis and applications. Proceedings of the IEEE, 77:541-580, 1989.
    • (1989) Proceedings of the IEEE , vol.77 , pp. 541-580
    • Murata, T.1
  • 14
    • 84949243479 scopus 로고    scopus 로고
    • NuSMV. http://nusmv.irst.itc.it/index.html.
  • 15
    • 0035131979 scopus 로고    scopus 로고
    • Comparison of hybrid systems and fluid stochastic Petri nets
    • January
    • B. Tuffin, D. S. Chen, and K. Trivedi. Comparison of hybrid systems and fluid stochastic Petri nets. Discrete Event Dynamic Systems, 11 (1/2):77-95, January 2001.
    • (2001) Discrete Event Dynamic Systems , vol.11 , Issue.1-2 , pp. 77-95
    • Tuffin, B.1    Chen, D.S.2    Trivedi, K.3


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