메뉴 건너뛰기




Volumn 1825, Issue , 2000, Pages 387-408

Pre- and post-agglomerations for LTL model checking

Author keywords

[No Author keywords available]

Indexed keywords

AGGLOMERATION; DISTRIBUTED COMPUTER SYSTEMS; PETRI NETS; TEMPORAL LOGIC;

EID: 84947221177     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44988-4_22     Document Type: Conference Paper
Times cited : (14)

References (6)
  • 1
    • 0000940701 scopus 로고
    • Checking properties of nets using transformations
    • G. Rozenberg, editor, Springer-Verlag
    • G. Berthelot. Checking properties of nets using transformations. In G. Rozenberg, editor, Advances in Petri nets, volume No. 222 of LNCS. Springer-Verlag, 1985.
    • (1985) Advances in Petri Nets , vol.222
    • Berthelot, G.1
  • 2
    • 33645177632 scopus 로고
    • A reduction theory for colored nets
    • Jensen and Rozenberg, editors, Theory and Application, LNCS, Springer- Verlag
    • S. Haddad. A reduction theory for colored nets. In Jensen and Rozenberg, editors, High-level Petri Nets, Theory and Application, LNCS, pages 399-425. Springer- Verlag, 1991.
    • (1991) High-Level Petri Nets , pp. 399-425
    • Haddad, S.1
  • 3
    • 0031221255 scopus 로고    scopus 로고
    • Stutter-invariant temporal properties are expressible without the nexttime operator
    • Doron Peled and Thomas Wilke. Stutter-invariant temporal properties are expressible without the nexttime operator. Information Processing Letters, 63:243-246, 1997.
    • (1997) Information Processing Letters , vol.63 , pp. 243-246
    • Peled, D.1    Wilke, T.2


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