메뉴 건너뛰기




Volumn 47, Issue 2, 2011, Pages 283-290

Timing and liveness in continuous Petri nets

Author keywords

Concurrent systems; Continuous systems; Deadlock; Petri nets; Safety analysis

Indexed keywords

CONCURRENT SYSTEMS; CONTINUOUS MODELS; CONTINUOUS PETRI NET; CONTINUOUS SYSTEM; CONTINUOUS SYSTEMS; DEADLOCK; DISCRETE EVENT SYSTEMS; FIRING RATES; HYBRID MODEL; LIVENESS; LIVENESS PROPERTIES; NET MODEL; RELAXATION TECHNIQUES; SAFETY ANALYSIS; STATE EXPLOSION PROBLEMS;

EID: 78751645584     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.automatica.2010.10.047     Document Type: Article
Times cited : (15)

References (12)
  • 3
    • 33749012004 scopus 로고    scopus 로고
    • Deadlock-freeness analysis of continuous mono-T-semiflow Petri nets
    • DOI 10.1109/TAC.2006.880957
    • J. Jlvez, L. Recalde, and M. Silva Deadlock-freeness analysis of continuous mono-t-semiflow Petri nets IEEE Transactions on Automatic Control 51 9 2006 1472 1481 (Pubitemid 44445229)
    • (2006) IEEE Transactions on Automatic Control , vol.51 , Issue.9 , pp. 1472-1481
    • Julvez, J.1    Recalde, L.2    Silva, M.3
  • 7
    • 0020175425 scopus 로고
    • Performance analysis using stochastic Petri nets
    • M.K. Molloy Performance analysis using stochastic Petri nets IEEE Transactions on Computers 31 9 1982 913 917
    • (1982) IEEE Transactions on Computers , vol.31 , Issue.9 , pp. 913-917
    • Molloy, M.K.1
  • 9
    • 0000884538 scopus 로고    scopus 로고
    • Petri nets fluidification revisited. Semantics and steady state
    • L. Recalde, and M. Silva Petri nets fluidification revisited. Semantics and steady state European Journal of Automation APII-JESA 35 4 2001 435 449
    • (2001) European Journal of Automation APII-JESA , vol.35 , Issue.4 , pp. 435-449
    • Recalde, L.1    Silva, M.2
  • 11
    • 8344220389 scopus 로고    scopus 로고
    • On fluidification of Petri net models: From discrete to hybrid and continuous models
    • M. Silva, and L. Recalde On fluidification of Petri net models: from discrete to hybrid and continuous models Annual Reviews in Control 28 2004 253 266
    • (2004) Annual Reviews in Control , vol.28 , pp. 253-266
    • Silva, M.1    Recalde, L.2
  • 12
    • 79961018677 scopus 로고    scopus 로고
    • Timing and deadlock-freeness in continuous Petri nets
    • Seoul, Korea.
    • Vzquez, C. R., Mangini, A. M., Mihalache, A. M., Recalde, L., & Silva, M. (2008). Timing and deadlock-freeness in continuous Petri nets. In 17th IFAC world congress. Seoul, Korea. Vol. 17. (1).
    • (2008) 17th IFAC World Congress , vol.17 , Issue.1
    • Vázquez, C.R.1


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