论文信息 - Structural and Behavioral Properties of Well-Structured Workflow Nets - 字舞流文

Structural and Behavioral Properties of Well-Structured Workflow Nets

Shingo Yamaguchi | Zhaolong Gou

[1] Shingo Yamaguchi,et al. Protocol Inheritance Preserving Soundizability Problem and Its Polynomial Time Procedure for Acyclic Free Choice Workflow Nets , 2014, IEICE Trans. Inf. Syst..

[2] Kees M. van Hee,et al. Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach , 2003, ICATPN.

[3] Sadatoshi Kumagai,et al. Handles and Reachability Analysis of Free Choice Nets , 1995, Application and Theory of Petri Nets.

[4] Hmw Eric Verbeek,et al. Verification of WF-nets , 2004 .

[5] Maria E. Orlowska,et al. Managing Change and Time in Dynamic Workflow Processes , 2000, Int. J. Cooperative Inf. Syst..

[6] Shingo Yamaguchi,et al. State Number Calculation Problem of Workflow Nets , 2015, IEICE Trans. Inf. Syst..

[7] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[8] Kees M. van Hee,et al. Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.

[9] Jörg Desel,et al. Free choice Petri nets , 1995 .

[10] Manuel Silva Suárez,et al. Circuits, handles, bridges and nets , 1991, Applications and Theory of Petri Nets.

[11] Wil M. P. van der Aalst,et al. Verification of Workflow Nets , 1997, ICATPN.

[12] Shingo Yamaguchi. Polynomial Time Verification of Reachability in Sound Extended Free-Choice Workflow Nets , 2014, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..