|
|||||
|
|
| 基于逻辑工作流网的有限无死锁组合 | |
| 引用本文： | 陈金栋,刘伟,冯新,刘雷.基于逻辑工作流网的有限无死锁组合[J].山东科技大学学报(自然科学版),2020,39(5). |
| 作者姓名： | 陈金栋 刘伟 冯新 刘雷 |
| 作者单位： | 山东科技大学 计算机科学与工程学院 ,山东 青岛 266590;山东科技大学 计算机科学与工程学院 ,山东 青岛 266590;山东科技大学 计算机科学与工程学院 ,山东 青岛 266590;山东科技大学 计算机科学与工程学院 ,山东 青岛 266590 |
| 基金项目： | 山东科技大学研究生科技创新项目 |
| 摘 要： | 以逻辑工作流网作为描述过程模型的方法,提出了逻辑工作流网的有限组合,以状态转换图来描述工作流网的可达逻辑活动序列。根据死锁的充分条件,提出状态映射用以判断两个工作流网组合后出现的死锁。通过删除进入死锁的逻辑活动序列,提出标准伙伴状态转换图用以表述无死锁组合的活动序列。最后提出判断有限组合是否存在死锁的方法,并用一个简单的电子商务实例说明了方法的有效性。 |
| 关 键 词： | Petri网 逻辑工作流网 死锁 组合 多集 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |