基于Petri网的位置敏感工作流建模与正确性验证方法

• 论文 •

基于Petri网的位置敏感工作流建模与正确性验证方法

张力，赵炯，贾伟昊，刘英博

1.清华大学软件学院，北京100084；2.清华大学计算机科学与技术系，北京100084

出版日期:2012-08-15 发布日期:2012-08-25

Location-aware workflow modeling and soundness verification method based on Petri net

ZHANG Li, ZHAO Jiong, JIA Wei-hao, LIU Ying-bo

1.School of Software, Tsinghua University, Beijing 100084, China; 2.Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China

Online:2012-08-15 Published:2012-08-25

摘要/Abstract

摘要： 针对移动业务过程中对位置信息建模和分析的需求，结合目前已有的工作流建模方法，提出一种针对位置敏感工作流进行建模和正确性验证的方法。该模型以工作流网为基础，结合6种描述位置之间关系的原语，以位置约束的形式定义业务流程中的位置信息及其与活动之间的关系，然后基于Petri网的状态可达图得出对所建立模型进行正确性检查的方法。基于ProM平台开发了一个位置敏感工作流的建模工具,验证了所提建模方法的可行性和算法的正确性。

关键词: 位置敏感工作流, 建模, 位置约束, 正确性验证, Petri网

Abstract: Aiming at the demand of location information modeling and analysis in mobile service process, a modeling and soundness verification method for location aware workflow was proposed by combining with existing workflow modeling method. Based on workflow net, this method used location constraints to describe the relationship between activities and location information with six primitives of describing location relationship. The method to verify the soundness for model was obtained based on reachability graph of Petri net. A location aware workflow modeling tool was developed based on ProM platform to verify the feasibility and validity of proposed method.

Key words: location aware workflow, modeling, location constraints, soundness verification, Petri nets

中图分类号:

TP319

张力，赵炯，贾伟昊，刘英博. 基于Petri网的位置敏感工作流建模与正确性验证方法[J]. .

ZHANG Li, ZHAO Jiong, JIA Wei-hao, LIU Ying-bo. Location-aware workflow modeling and soundness verification method based on Petri net[J]. .

[1]	鲁法明,崔明浩,包云霞,曾庆田,段华. 基于程序运行轨迹Petri网模型挖掘的死锁检测方法[J]. 计算机集成制造系统, 2021, 27(9): 2611-2624.
[2]	王丽丽,方贤文. 基于行为距离的带隐变迁过程模型挖掘方法[J]. 计算机集成制造系统, 2021, 27(9): 2670-2679.
[3]	朱坚民,石园园,田丰庆,黄扬辉,孟聪,陈琳. 考虑夹头与刀具过渡段的主轴系统精确建模[J]. 计算机集成制造系统, 2021, 27(8): 2215-2225.
[4]	杨旭亭,王孜悦,李凤鸣,宋锐. 基于过程建模的机器人分阶引导装配方法[J]. 计算机集成制造系统, 2021, 27(8): 2321-2330.
[5]	肖甜丽,马义中,林成龙. 面向质量设计的Kriging组合建模技术[J]. 计算机集成制造系统, 2021, 27(7): 2023-2034.
[6]	吴鹏兴,郭宇,黄少华,杨能俊,熊伟杰,郭具涛. 基于数字孪生的离散制造车间可视化实时监控方法[J]. 计算机集成制造系统, 2021, 27(6): 1605-1616.
[7]	王仁伟,张松,葛人杰,栾晓娜,王家昌,鲁韶磊. 改进的球头铣刀加工表面形貌建模方法[J]. 计算机集成制造系统, 2021, 27(4): 973-980.
[8]	朱天明,武春龙,周有城,张鹏,张小俊. 基于TRIZ功能建模的扩展碰撞预警系统数字孪生概念方案构建[J]. 计算机集成制造系统, 2021, 27(2): 337-351.
[9]	苟艺星,王军强,李洋. 事件驱动的流水线建模与质检机器配置优化[J]. 计算机集成制造系统, 2021, 27(2): 487-500.
[10]	张海军,闫琼,张国辉,李庆宇,余杰. 基于数字孪生的制造资源动态优选决策[J]. 计算机集成制造系统, 2021, 27(2): 521-535.
[11]	易扬,冯锦丹,刘金山,陈长江,刘晓军,倪中华. 复杂产品数字孪生装配模型表达与精度预测[J]. 计算机集成制造系统, 2021, 27(2): 617-630.
[12]	魏莹,刘冠,李锋. 基于社交网络效应的产品设计研究[J]. 计算机集成制造系统, 2021, 27(12): 3591-3603.
[13]	张玉金,黄博,廖文和. 面向场景的航空发动机基于模型的系统工程设计[J]. 计算机集成制造系统, 2021, 27(11): 3093-3102.
[14]	陶飞,张贺,戚庆林,徐俊,孙铮,胡天亮,刘晓军,刘庭煜,关俊涛,陈畅宇,孟凡伟,张辰源,李志远,魏永利,朱铭浩,肖斌. 数字孪生模型构建理论及应用[J]. 计算机集成制造系统, 2021, 27(1): 1-16.
[15]	王建,黎荣,武浩远,丁国富,郑宇飞. 按单设计型复杂产品的配置设计技术综述[J]. 计算机集成制造系统, 2020, 26(第2): 410-425.