메뉴 건너뛰기




Volumn 10, Issue 4, 2011, Pages 856-862

A polynomial-time decomposition algorithm for petri nets based on indexes of transitions

Author keywords

Decomposition; Index of transition; Petri net; Polynomial time algorithm

Indexed keywords

DECOMPOSITION ALGORITHM; DECOMPOSITION APPROACH; DYNAMIC PROPERTY; INDEX OF TRANSITION; POLYNOMIAL-TIME; POLYNOMIAL-TIME ALGORITHM; POLYNOMIAL-TIME ALGORITHMS;

EID: 79952210631     PISSN: 18125638     EISSN: 18125646     Source Type: Journal    
DOI: 10.3923/itj.2011.856.862     Document Type: Article
Times cited : (5)

References (11)
  • 1
    • 78651361531 scopus 로고    scopus 로고
    • Recognition algorithm design and complex analysis for languages of S-nets
    • Cui, T., Q. Zeng and D. Zhang, 2011. Recognition algorithm design and complex analysis for languages of S-nets. Inform. Technol. J., 10: 106-112.
    • Inform. Technol. J. , vol.2011 , Issue.10 , pp. 106-112
    • Cui, T.1    Zeng, Q.2    Zhang, D.3
  • 2
    • 0347054158 scopus 로고
    • Reduction and synthesis of live and bounded free choice petri nets
    • Esparza, J., 1994. Reduction and synthesis of live and bounded free choice petri nets. Inform. Comput, 114: 50-87.
    • (1994) Inform. Comput , vol.114 , pp. 50-87
    • Esparza, J.1
  • 3
    • 0039440473 scopus 로고    scopus 로고
    • Fast and simple decomposition techniques for the reliability analysis of interconnection networks
    • PII S0164121298100754
    • Koriem, S.M., 1999. Fast and simple decomposition techniques for the reliability analysis of interconnection networks. J. Syst. Software, 45: 155-171. (Pubitemid 129496596)
    • (1999) Journal of Systems and Software , vol.45 , Issue.2 , pp. 155-171
    • Koriem, S.M.1
  • 5
    • 0024645936 scopus 로고
    • Petri nets: Properties, analysis and applications
    • Murata, T., 1989. Petri nets: Properties, analysis and applications. Proc. IEEE, 77: 541-580.
    • (1989) Proc. IEEE , vol.77 , pp. 541-580
    • Murata, T.1
  • 6
    • 46649112119 scopus 로고    scopus 로고
    • Modeling and analysis for workflow constrained by resources and non-determined time: An approach based on petri nets
    • Wang, H.Q. and Q.T. Zeng, 2008. Modeling and analysis for workflow constrained by resources and non-determined time: An approach based on petri nets. IEEE Trans. Syst. Man Cybernetics Part A: Syst. Hum., 38: 802-817.
    • (2008) IEEE Trans. Syst. Man Cybernetics Part A: Syst. Hum. , vol.38 , pp. 802-817
    • Wang, H.Q.1    Zeng, Q.T.2
  • 7
    • 2942754086 scopus 로고    scopus 로고
    • Behavior descriptions of structure-complex Petri nets based on synchronous composition
    • Zeng, Q.T., 2004. Behavior descriptions of structure-complex Petri nets based on synchronous composition. J. Software, 15: 327-337.
    • (2004) J. Software , vol.15 , pp. 327-337
    • Zeng, Q.T.1
  • 9
    • 38949192844 scopus 로고    scopus 로고
    • Behavior description for complex flexible manufacturing system based on decomposition of petri net
    • Zeng, Q.T. and H. Duan, 2007. Behavior description for complex flexible manufacturing system based on decomposition of Petri net. Int. J. Comput. Syst. Sci. Eng., 22: 359-363. (Pubitemid 351211819)
    • (2007) Computer Systems Science and Engineering , vol.22 , Issue.6 , pp. 359-363
    • Zeng, Q.1    Duan, H.2
  • 10
    • 57149101759 scopus 로고    scopus 로고
    • A construction method for the process expression of petri net based on decomposition
    • Zeng, Q., 2008. A construction method for the process expression of petri net based on decomposition. Inform. Technol. J., 7: 420-429.
    • (2008) Inform. Technol. J. , vol.7 , pp. 420-429
    • Zeng, Q.1
  • 11
    • 63049135767 scopus 로고    scopus 로고
    • A polynomial-time decomposition algorithm for a petri net based on indexes of places
    • Zeng, Q., X. Hu, J. Zhu and H. Duan, 2008. A polynomial-time decomposition algorithm for a petri net based on indexes of places. J. Applied Sci., 8: 4668-4673.
    • (2008) J. Applied Sci. , vol.8 , pp. 4668-4673
    • Zeng, Q.1    Hu, X.2    Zhu, J.3    Duan, H.4


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