메뉴 건너뛰기




Volumn 38, Issue 1, 2005, Pages 85-90

Fault diagnosis for distributed asynchronous dynamically reconfigured discrete event systems

Author keywords

Discrete event systems; Distributed models; Fault diagnosis; Networks

Indexed keywords

FAILURE ANALYSIS; FAULT DETECTION; FORMAL LANGUAGES; GRAPH ALGORITHMS; NETWORKS (CIRCUITS); PETRI NETS; SEMANTICS; TOPOLOGY;

EID: 79960723038     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20050703-6-cz-1902.00299     Document Type: Conference Paper
Times cited : (3)

References (6)
  • 1
    • 84937706727 scopus 로고    scopus 로고
    • Unfolding and event structure semantics for graph grammars
    • LNCS
    • Baldan, P.; Corradini, A; and Montanari, U. Unfolding and event structure semantics for graph grammars. Proc. FOSSACS 1999, LNCS 1578:73-89.
    • (1999) Proc. FOSSACS , vol.1578 , pp. 73-89
    • Baldan, P.1    Corradini, A.2    Montanari, U.3
  • 2
    • 0035951022 scopus 로고    scopus 로고
    • Contextual Petri nets, asymmetric event structures and processes
    • Baldan, P.; Corradini, A; Montanari, U. Contextual Petri nets, asymmetric event structures and processes. Information and Computation 171(1):1- 49, 2001.
    • (2001) Information and Computation , vol.171 , Issue.1 , pp. 1-49
    • Baldan, P.1    Corradini, A.2    Montanari, U.3
  • 3
    • 0038631985 scopus 로고    scopus 로고
    • Diagnosis of asynchronous discrete event systems, a net unfolding approach
    • May
    • Benveniste, A; Fabre, E.; Haar, S; and Jard, C. Diagnosis of asynchronous discrete event systems, a net unfolding approach. IEEE Transactions on Automatic Control, 48(5):714-727, May 2003.
    • (2003) IEEE Transactions on Automatic Control , vol.48 , Issue.5 , pp. 714-727
    • Benveniste, A.1    Fabre, E.2    Haar, S.3    Jard, C.4
  • 5
    • 0026191448 scopus 로고
    • Branching processes of Petri Nets
    • Engelfriet, J. Branching processes of Petri Nets. Acta Informatica, 28:575-591, 1991.
    • (1991) Acta Informatica , vol.28 , pp. 575-591
    • Engelfriet, J.1
  • 6
    • 33745143822 scopus 로고    scopus 로고
    • Distributed monitoring of concurrent and asynchronous systems
    • (Invited Talk), LNCS. Springer, Revised and extended version to appear in Discrete Event Systems
    • Benveniste, A; Fabre, E.; Haar, S; and Jard, C. Distributed monitoring of concurrent and asynchronous systems. In Proc. CONCUR 2003 (Invited Talk), LNCS. Springer, 2003. Revised and extended version to appear in Discrete Event Systems.
    • (2003) Proc. CONCUR 2003
    • Benveniste, A.1    Fabre, E.2    Haar, S.3    Jard, C.4


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