메뉴 건너뛰기




Volumn 26, Issue 12, 2003, Pages 1629-1636

Process expression of unbounded Petri net

Author keywords

Decomposition; Petri net languages; Process expression; Process net system; Unbounded Petri net

Indexed keywords

COMPUTER NETWORKS; DECOMPOSITION; MATHEMATICAL MODELS; MATHEMATICAL PROGRAMMING; NETWORK PROTOCOLS; SYNCHRONIZATION;

EID: 1542606510     PISSN: 02544164     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article
Times cited : (7)

References (13)
  • 3
    • 0010946561 scopus 로고
    • P/R nets and P/R processes (I)
    • Lu Ru-Qian. P/R nets and P/R processes (I). Science in China (Series E), 1992, 35(1): 21-31
    • (1992) Science in China (Series E) , vol.35 , Issue.1 , pp. 21-31
    • Lu, R.-Q.1
  • 4
    • 1542395569 scopus 로고
    • P/R nets and P/R processes (II)
    • Lu Ru-Qian. P/R nets and P/R processes (II). Science in China (Series E), 1992, 35(1): 148-157
    • (1992) Science in China (Series E) , vol.35 , Issue.1 , pp. 148-157
    • Lu, R.-Q.1
  • 5
    • 0038586362 scopus 로고    scopus 로고
    • Process net system of Petri net
    • Chinese source
    • Zeng Qing-Tian, Wu Zhe-Hui. Process net system of Petri net. Chinese Journal of Computers, 2002, 25(12): 1308-1315 (in Chinese)
    • (2002) Chinese Journal of Computers , vol.25 , Issue.12 , pp. 1308-1315
    • Zeng, Q.-T.1    Wu, Z.-H.2
  • 6
    • 0038532946 scopus 로고    scopus 로고
    • Process expression of bounded Petri net
    • Wu Zhe-Hui. Process expression of bounded Petri net. Science in China (Series E), 1996, 39(1): 37-49
    • (1996) Science in China (Series E) , vol.39 , Issue.1 , pp. 37-49
    • Wu, Z.-H.1
  • 7
    • 0034165956 scopus 로고    scopus 로고
    • Process expression of unbounded fair net
    • Chinese source
    • Wu Zhe-Hui, Wang Pei-Liang, Zhao Mao-Xian. Process expression of unbounded fair net. Chinese Journal of Computers, 2000, 23(4): 337-344 (in Chinese)
    • (2000) Chinese Journal of Computers , vol.23 , Issue.4 , pp. 337-344
    • Wu, Z.-H.1    Wang, P.-L.2    Zhao, M.-X.3
  • 8
    • 1542605148 scopus 로고    scopus 로고
    • The process and language expression of Petri net
    • to appear, Chinese source
    • Zeng Qing-Tian, Wu Zhe-Hui, Ma Bing-Xian. The process and language expression of Petri net. Mini-Micro Systems, to appear (in Chinese)
    • Mini-Micro. Systems
    • Zeng, Q.-T.1    Wu, Z.-H.2    Ma, B.-X.3
  • 9
    • 0037518903 scopus 로고    scopus 로고
    • An algorithm for establishing the set of basic process sections for a Petri net
    • Chinese source
    • Zeng Qing-Tian, Wu Zhe-Hui. An algorithm for establishing the set of basic process sections for a Petri net. Computer Science, 2001, 28(Supplement): 5-11 (in Chinese)
    • (2001) Computer Science , vol.28 , Issue.SUPPL. , pp. 5-11
    • Zeng, Q.-T.1    Wu, Z.-H.2
  • 10
    • 1542605147 scopus 로고    scopus 로고
    • The language characters analysis of analogous S-graph
    • Chinese source
    • Zeng Qing-Tian, Wu Zhe-Hui. The language characters analysis of analogous S-graph. Computer Science, 2002, 29(5): 120-122 (in Chinese)
    • (2002) Computer Science , vol.29 , Issue.5 , pp. 120-122
    • Zeng, Q.-T.1    Wu, Z.-H.2
  • 11
    • 0026851035 scopus 로고
    • Concurrent regular expressions and their relationship to Petri nets
    • Garg V K, Ragunath M T. Concurrent regular expressions and their relationship to Petri nets. Theoretical Computer Science, 1992, 96(2): 258-304
    • (1992) Theoretical Computer Science , vol.96 , Issue.2 , pp. 258-304
    • Garg, V.K.1    Ragunath, M.T.2
  • 13
    • 1542500417 scopus 로고    scopus 로고
    • Synchronous intersection operation of Petri net languages
    • to appear, Chinese source
    • Zeng Qing-Tian, Wu Zhe-Hui. Synchronous intersection operation of Petri net languages. Mini-Micro Systems, to appear (in Chinese)
    • Mini-Micro. Systems
    • Zeng, Q.-T.1    Wu, Z.-H.2


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