A novel graph reduction algorithm to identify structural conflicts

Proceedings of the Annual Hawaii International Conference on System Sciences

Volumn 2002-January, Issue , 2002, Pages 10-19

  Lin, Hao ^a   Zhao, Zhibiao ^a   Li, Hongchen ^b   Chen, Zhiguo ^b  

^a TSINGHUA UNIVERSITY   (China)

^b HENAN UNIVERSITY   (China)

Author keywords

Algorithm design and analysis; Computer science; Joining processes; Petri nets; Standards development; System recovery; Tail; Workflow management software

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SCIENCE; COMPUTER SYSTEM RECOVERY; PETRI NETS; WORK SIMPLIFICATION;

ALGORITHM DESIGN AND ANALYSIS; JOINING PROCESS; STANDARDS DEVELOPMENT; SYSTEM RECOVERY; TAIL; WORKFLOW MANAGEMENTS;

GRAPH ALGORITHMS;

EID: 84948674839     PISSN: 15301605     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HICSS.2002.994506     Document Type: Conference Paper

References (13)

1. Wasim Sadiq and Maria E. Orlowska. Analyzing Process Models Using Graph Reduction Techniques. Information Systems, 2000, 25(2): 117-134.
2. Workflow Management Coalition. The Workflow Management Coalition Specifications - Terminology and Glossary, Issue 2.0. Document Number WFMC - TC - 1011(1996).
3. Workflow Management Coalition. Interface 1: Process Definition Interchange, Process Model. Document Number WFMC - TC - 1016-P (1998).
4. th international Conference on Advanced Information Systems Engineering (CAiSE '99), Heidelberg, Germany, Lecture Notes in Computer Science 1626, Springer-Verlag, 1999, pp.195-209.
5. M.Reichert and P.Dadam. ADEPTflex - Supporting dynamic changes of workflow without loosing control. Journal of Intelligent Information Systems (JIIS). Special Issue on Workflow and Process Management, 1998, 10(2): 93-129.
6. th International Object-Oriented and Entity-Relationship Modeling Conference, Gold Coast, Australia, volume 1021 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1993, pp. 341-354.
7. D. Kuo, M. Lawley, C. Liu and M.E. Orlowska. A general model for nested transactional workflow. In Proceedings of the International Workshop on Advanced Transaction Models and Architecture (ATMA '96), Bombay, India, 1996, pp. 18-35.
8. th European Conference on Information Systems (ECIS '97), Cork, Ireland, 1997.
9. rd International Conference on Business Information Systems (BIS '99), Ponzan, Poland, Springer-Verlag, 1999, pp. 281-294.
10. A.H. M ter Hofstede, M. E. Orlowska and J. Rajapakse. Verification problem in conceptual workflow specifications. Data & Knowledge Engineering, 1998, 24(3): 239-256.
11. W. M. P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems, and Computers, 1998, 8(1): 21-66.
12. M. N. S. Swamy and K. Esparza. Free choice Petri nets. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Great Britain, 1995.
13. Jonathan Gross and Jay Yellen. Graph Theory and Its Applications. CRC Press, 1999.