Logical Petri Nets with Data

摘要：

　　a logical data petri net (LDPN),a logical data workflow net (LDWN) and a collaborative logical data workflow net (CLDWN) are represented.They are improved formal models extended with data variables,guards and the output condition expressions based on our previous models.Data variables are used to represent data.Guards are used to indicate the additional constraint related to data except for a token.The output condition expressions are used to clearly show the condition in which postplaces of logical output transitions get a token.A typical example of collaborative electronic commerce systems with the batch function and passing value indeterminacy is used to show the advantage of the improved models.

关键词： Petri nets Workflow data passing value indeterminacy electronic commerce

作者: Wei Liu Pin Wang Yuyue Du Chun Yan

作者单位: College of Information Science and Engineering State Key Laboratory of Mining Disaster Prevention an College of Mathematics and Systems Science Shandong University of Science and Technology Qingdao, Ch

会议类型: 国际会议

会议名称: 2015 Fifth International Conference on Instrumentation and Measurement,Computer,Communication and Control (IMCCC2015)(第五届仪器测量、计算机通信与控制国际会议)

会议地点: 秦皇岛

会议语种:英文

页码: 840-844

在线出版日期: 2015-09-18（万方平台首次上网日期，不代表论文的发表时间）