TY - GEN
T1 - Simplification rules and linear temporal inference of workflow models based on fuzzy-timing colored Petri nets
AU - Pang, Hui
AU - Fang, Zongde
PY - 2008
Y1 - 2008
N2 - Modeling of distributed collaborative workflow system and time performance analysis has been recognized as one of the most significant content in workflow theory. The description of different cases, time performance analysis and optimization in Workflow Management System (WFMS) should be considered in traditional workflow models based on Petri nets. To solve this problem, the definition of Fuzzy-Timing Colored Petri Nets (FTCPN) and its simplification rules are presented. The four basic workflow components based on FTCPN and their linear temporal inferences are provided. Finally, taking collaborative product conceptual design of automobile body as an example, whose workflow model is constructed to apply the proposed methods in this paper, the correctness of FTCPN workflow models is validated. Our study indicates that FTCPN can roundly describe the uncertain time information and work state of different cases in complex workflow system, and has the important reference value in enriching the theory of distributed workflow modeling in WFMS.
AB - Modeling of distributed collaborative workflow system and time performance analysis has been recognized as one of the most significant content in workflow theory. The description of different cases, time performance analysis and optimization in Workflow Management System (WFMS) should be considered in traditional workflow models based on Petri nets. To solve this problem, the definition of Fuzzy-Timing Colored Petri Nets (FTCPN) and its simplification rules are presented. The four basic workflow components based on FTCPN and their linear temporal inferences are provided. Finally, taking collaborative product conceptual design of automobile body as an example, whose workflow model is constructed to apply the proposed methods in this paper, the correctness of FTCPN workflow models is validated. Our study indicates that FTCPN can roundly describe the uncertain time information and work state of different cases in complex workflow system, and has the important reference value in enriching the theory of distributed workflow modeling in WFMS.
KW - Automobile body
KW - Collaborative workflow model
KW - Fuzzy-timing colored Petri nets
KW - Linear inference
KW - Simplification rules
UR - http://www.scopus.com/inward/record.url?scp=51049119628&partnerID=8YFLogxK
U2 - 10.1109/CSCWD.2008.4537059
DO - 10.1109/CSCWD.2008.4537059
M3 - 会议稿件
AN - SCOPUS:51049119628
SN - 9781424416509
T3 - Proceedings of the 2008 12th International Conference on Computer Supported Cooperative Work in Design, CSCWD
SP - 677
EP - 682
BT - Proceedings of the 2008 12th International Conference on Computer Supported Cooperative Work in Design, CSCWD
T2 - 2008 12th International Conference on Computer Supported Cooperative Work in Design, CSCWD
Y2 - 16 April 2008 through 18 April 2008
ER -