基于Petri网的并发冲突工作流建模及验证

摘要：

本文介绍了Petri网方法和工作流技术，将工作流技术运用到系统的建模中，优化了设计过程，成功解决了设计流程中遇到的并发问题和冲突问题，对设计工作流程复杂的系统有直接指导意义。

关键词： 分布式系统 并发冲突 工作流模型

作者: 谢一 张为群

作者单位: 西南大学计算机与信息科学学院,重庆,400715

会议类型: 国内会议

会议名称: 2006年全国理论计算机科学学术年会

会议地点: 长春

会议语种:中文

页码: 42-44

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