메뉴 건너뛰기
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumn 5606 LNCS, Issue , 2009, Pages 23-42
Simple composition of nets
Author keywords

[No Author keywords available]
Indexed keywords

COMPOSITION OPERATORS; FORMAL DEFINITION; FORMAL FRAMEWORK; LARGE SYSTEM;
EID: 70350325809     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02424-5_4     Document Type: Conference Paper
Times cited : (19)
References (4)
  • 1
    • 70350317281 scopus 로고    scopus 로고
    • Algebra. Springer Monographs in Theoretical Computer Science
    • Best, E., Devillers, R., Koutny, M.: Petri Net Algebra. Springer Monographs in Theoretical Computer Science (2001)
    • (2001) Petri Net
    • Best, E.1    Devillers, R.2    Koutny, M.3
  • 2
    • 0033684774 scopus 로고    scopus 로고
    • Modular Analysis of Petri Nets
    • Christensen, S., Petrucci, L.: Modular Analysis of Petri Nets. Computer Journal 43(3), 224-242 (2001)
    • (2001) Computer Journal , vol.43 , Issue.3 , pp. 224-242
    • Christensen, S.1    Petrucci, L.2
  • 3
    • 20444368009 scopus 로고    scopus 로고
    • Structuring and Composability Issues in Petri Nets Modeling
    • Gomes, L., Barros, J.P.: Structuring and Composability Issues in Petri Nets Modeling. IEEE Transactions on Industrial Informatics 1(2), 112-123 (2005)
    • (2005) IEEE Transactions on Industrial Informatics , vol.1 , Issue.2 , pp. 112-123
    • Gomes, L.1    Barros, J.P.2
  • 4
    • 0003310162 scopus 로고
    • Modular Construction and Partial Order Semantics of Petri Nets
    • Springer, Heidelberg
    • Vogler, W.: Modular Construction and Partial Order Semantics of Petri Nets. LNCS, vol. 625. Springer, Heidelberg (1992)
    • (1992) LNCS , vol.625
    • Vogler, W.1

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