论文信息 - Dual Workflow Nets: Mixed Control/Data-Flow Representation for Workflow Modeling and Verification

Dual Workflow Nets: Mixed Control/Data-Flow Representation for Workflow Modeling and Verification

A spring-balanced, wall-type bed-frame member, which is adapted to support a portion of a mattress assembly, is pivotable between a vertical position adjacent a wall and a horizontal position upon a floor for use. A plurality of the frame members are needed to support the mattress assembly for a bed. The bed contains no permanent cross members linking the respective bed-frame members, so that the location of the frame members can be laterally changed to accommodate mattress assemblies of differing widths.

[1] Marco Ajmone Marsan,et al. Application and Theory of Petri Nets 1993 , 1993, Lecture Notes in Computer Science.

[2] Wil M.P. van der Aalst,et al. Three good reasons for using a Petri-net-based workflow management system , 1996 .

[3] Wil M. P. van der Aalst,et al. The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[4] Daniel Moldt,et al. Enacting interorganizational workflows using nets in nets , 1999 .

[5] Maria E. Orlowska,et al. Analyzing Process Models Using Graph Reduction Techniques , 2000, Inf. Syst..

[6] Jianmin Wang,et al. Modeling workflow processes with colored Petri nets , 2002, Comput. Ind..

[7] Duncan Dubugras Alcoba Ruiz,et al. Extending UML activity diagram for workflow modeling in production systems , 2002, Proceedings of the 35th Annual Hawaii International Conference on System Sciences.

[8] Mathias Weske,et al. Business Process Management: A Survey , 2003, Business Process Management.

[9] Jintae Lee,et al. Defining specialization for dataflow diagrams , 2003, Inf. Syst..

[10] van der Wmp Wil Aalst,et al. Workflow data patterns , 2004 .

[11] Maria E. Orlowska,et al. Data Flow and Validation in Workflow Modelling , 2004, ADC.

[12] Rajkumar Buyya,et al. A taxonomy of scientific workflow systems for grid computing , 2005, SGMD.

[13] Petru Eles,et al. Dual Flow Nets: Modeling the control/data-flow relation in embedded systems , 2006, TECS.