On Structured Workflow Modelling
暂无分享,去创建一个
Christoph Bussler | Arthur H. M. ter Hofstede | Bartek Kiepuszewski | A. Hofstede | B. Kiepuszewski | C. Bussler
[1] M. Howard Williams. Generating Structured Flow Diagrams: The Nature of Unstructuredness , 1977, Comput. J..
[2] G. Oulsnam,et al. Unravelling Unstructured Programs , 1982, Comput. J..
[3] Rob J. van Glabbeek,et al. The Linear Time - Branching Time Spectrum II , 1993, CONCUR.
[4] Maria E. Orlowska,et al. Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models , 1999, CAiSE.
[5] Maria E. Orlowska,et al. On the Complexity of Some Verification Problems in Process Control Specifications , 1999, Comput. J..
[6] Wil M. P. van der Aalst,et al. Verification Of Workflow Task Structures: A Petri-net-baset Approach , 2000, Inf. Syst..
[7] Rob J. van Glabbeek,et al. The Linear Time-Branching Time Spectrum (Extended Abstract) , 1990, CONCUR.
[8] Christoph Bussler,et al. Workflow Management: Modeling Concepts, Architecture and Implementation , 1996 .
[9] Rob J. van Glabbeek,et al. The Linear Time - Branching Time Spectrum I , 2001, Handbook of Process Algebra.
[10] Raymond R. Devillers,et al. Concurrent bisimulations in Petri nets , 2005, Acta Informatica.
[11] Petr Jancar,et al. Decidability Questions for Bismilarity of Petri Nets and Some Related Problems , 1994, STACS.
[12] Arthur H. M. ter Hofstede,et al. Towards the construction of workflow‐suitable conceptual modelling techniques , 1998, Inf. Syst. J..