메뉴 건너뛰기




Volumn 8, Issue 2, 2004, Pages 65-74

A novel hierarchical method for decomposition and design of workflow models

Author keywords

Hierarchical decomposition; Process analysis requirements; Workflow management systems

Indexed keywords

ALGORITHMS; DYNAMIC PROGRAMMING; FORMAL LANGUAGES; FORMAL LOGIC; GRAPH THEORY; HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS;

EID: 4344620934     PISSN: 10920617     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article
Times cited : (9)

References (11)
  • 6
    • 0024645936 scopus 로고
    • Petri nets: Properties, analysis and applications
    • Murata, T., 1989, "Petri nets: properties, analysis and applications," Proceedings of the IEEE, Vol. 77, No. 4, pp. 541-580.
    • (1989) Proceedings of the IEEE , vol.77 , Issue.4 , pp. 541-580
    • Murata, T.1
  • 7
    • 0020795351 scopus 로고
    • A method for stepwise refinements and abstractions of Petri nets
    • Suzuki, I and Murata., 1983, " A method for stepwise refinements and abstractions of Petri nets," Journal of Computer and System Sciences, Vol. 27, No. 1, pp. 51-76.
    • (1983) Journal of Computer and System Sciences , vol.27 , Issue.1 , pp. 51-76
    • Suzuki, I.1    Murata2
  • 8
    • 0019150416 scopus 로고
    • An algorithm for hierarchical reduction and decomposition of a directed graph
    • Schwarze, J., 1980, "An algorithm for hierarchical reduction and decomposition of a directed graph," Computing, Vol. 25, pp. 47-57.
    • (1980) Computing , vol.25 , pp. 47-57
    • Schwarze, J.1
  • 9
    • 0002367242 scopus 로고
    • Analysis of Petri nets by stepwise refinements
    • Valette, R., 1979, "Analysis of Petri nets by stepwise refinements," Journal of Computer and System Sciences, Vol. 18, pp. 35-46.
    • (1979) Journal of Computer and System Sciences , vol.18 , pp. 35-46
    • Valette, R.1


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