메뉴 건너뛰기




Volumn 8, Issue 1, 1998, Pages 189-222

A constructive method for finding legal transition sequences in Petri nets

Author keywords

[No Author keywords available]

Indexed keywords


EID: 3042948813     PISSN: 02181266     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218126698000080     Document Type: Article
Times cited : (1)

References (14)
  • 1
    • 0017504301 scopus 로고
    • State equation, controllability, and maximal matching of Petri nets
    • T. Murata, "State equation, controllability, and maximal matching of Petri nets", IEEE Transactions on Automatic Control AC-22, 3 (1977) 412-416.
    • (1977) IEEE Transactions on Automatic Control , vol.AC-22 , Issue.3 , pp. 412-416
    • Murata, T.1
  • 2
    • 0017513157 scopus 로고
    • Circuit theoretic analysis and synthesis of marked graphs
    • T. Murata, "Circuit theoretic analysis and synthesis of marked graphs", IEEE Trans. Circuits Syst. CAS-24, 7 (1977) 400-405.
    • (1977) IEEE Trans. Circuits Syst. , vol.CAS-24 , Issue.7 , pp. 400-405
    • Murata, T.1
  • 3
    • 3042970217 scopus 로고
    • A class of Petri nets that a necessary and sufficient condition for reachability is obtainable
    • K. Hiraishi and A. Ichikawa, "A class of Petri nets that a necessary and sufficient condition for reachability is obtainable", Trans. SICE 24, 6 (1988) 635-640.
    • (1988) Trans. SICE , vol.24 , Issue.6 , pp. 635-640
    • Hiraishi, K.1    Ichikawa, A.2
  • 4
    • 0024645936 scopus 로고
    • Petri nets: Properties, analysis and applications
    • T. Murata, "Petri nets: Properties, analysis and applications", Procs. IEEE 77, 4 (1989) 541-580.
    • (1989) Procs. IEEE , vol.77 , Issue.4 , pp. 541-580
    • Murata, T.1
  • 5
    • 0027609628 scopus 로고
    • Reachability in cyclic extended free choice systems
    • J. Desel and J. Esparza, "Reachability in cyclic extended free choice systems", Theoretical Computer Science 114 (1993) 93-118.
    • (1993) Theoretical Computer Science , vol.114 , pp. 93-118
    • Desel, J.1    Esparza, J.2
  • 8
    • 0030574553 scopus 로고    scopus 로고
    • Structure theory of equal conflict systems
    • E. Teruel and M. Silva, "Structure theory of equal conflict systems", Theoret. Comput. Sci., 153 (1996) 271-300.
    • (1996) Theoret. Comput. Sci. , vol.153 , pp. 271-300
    • Teruel, E.1    Silva, M.2
  • 11
    • 3042965620 scopus 로고    scopus 로고
    • Siphoning, risky and fatal transitions in Petri nets
    • J. Huang and T. Murata, "Siphoning, risky and fatal transitions in Petri nets", Petri Net Newsletter 52 (1997) 14-32, with the cover-picture story, "Before firing, think how risky it would be!"
    • (1997) Petri Net Newsletter , vol.52 , pp. 14-32
    • Huang, J.1    Murata, T.2
  • 14
    • 3042999549 scopus 로고
    • A structural property of free-choice nets
    • J. Desel, "A structural property of free-choice nets", Petri Net Newsletters 25 (1986) 16-20.
    • (1986) Petri Net Newsletters , vol.25 , pp. 16-20
    • Desel, J.1


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