메뉴 건너뛰기




Volumn 2679, Issue , 2003, Pages 276-295

Logical reasoning and Petri nets

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS;

EID: 35248872419     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44919-1_19     Document Type: Article
Times cited : (8)

References (7)
  • 1
    • 0010910287 scopus 로고
    • A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri Nets
    • Advances in Petri Nets 1993
    • J. Ezpeleta, J. M. Couvreur and M. Silva. A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri Nets. Lecture Notes in Computer Science; Advances in Petri Nets 1993, 674:126-147, 1993.
    • (1993) Lecture Notes in Computer Science , vol.674 , pp. 126-147
    • Ezpeleta, J.1    Couvreur, J.M.2    Silva, M.3
  • 3
    • 85034824385 scopus 로고
    • The Calculus of Facts. Mazurkiewicz, Mathematical Foundations of Computer Science 1976
    • Springer
    • H. J. Genrich and G. Thieler-Mevissen. The Calculus of Facts. Mazurkiewicz, Mathematical Foundations of Computer Science 1976, Lecture Notes in Computer Science 45, S. 588-595. Springer, 1976.
    • (1976) Lecture Notes in Computer Science , vol.45 , pp. 588-595
    • Genrich, H.J.1    Thieler-Mevissen, G.2
  • 4
    • 84879116125 scopus 로고    scopus 로고
    • Reproducibility of the Empty Marking
    • Javier Esparza and Charles Lakos, Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings, Springer
    • K. Lautenbach. Reproducibility of the Empty Marking. Javier Esparza and Charles Lakos, Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings, Band 2360 von Lecture Notes in Computer Science, S. 237-253. Springer, 2002.
    • (2002) Lecture Notes in Computer Science , vol.2360 , pp. 237-253
    • Lautenbach, K.1
  • 6
    • 0024611746 scopus 로고
    • Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs
    • G. Peterka and Tadao Murata. Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs. IEEE Trans. Software Eng., 15(2):209-217, 1989.
    • (1989) IEEE Trans. Software Eng. , vol.15 , Issue.2 , pp. 209-217
    • Peterka, G.1    Murata, T.2
  • 7
    • 0004232902 scopus 로고
    • Springer-Verlag EATCS Monographs on Theoretical Computer Science
    • W. Reisig. Petri Nets., Band 4. Springer-Verlag EATCS Monographs on Theoretical Computer Science, 1985.
    • (1985) Petri Nets , vol.4
    • Reisig, W.1


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