基于逻辑工作流网的有限无死锁组合

陈金栋; 刘伟; 冯新; 刘雷

doi:10.16452/j.cnki.sdkjzk.2020.05.010

山东科技大学学报（自然科学版） ›› 2020, Vol. 39 ›› Issue (05) : 89 -97. DOI: 10.16452/j.cnki.sdkjzk.2020.05.010

基于逻辑工作流网的有限无死锁组合

陈金栋, 刘伟, 冯新, 刘雷

作者信息 +

Author information +

文章历史 +

PDF (1846K)

摘要

以逻辑工作流网作为描述过程模型的方法,提出了逻辑工作流网的有限组合,以状态转换图来描述工作流网的可达逻辑活动序列。根据死锁的充分条件,提出状态映射用以判断两个工作流网组合后出现的死锁。通过删除进入死锁的逻辑活动序列,提出标准伙伴状态转换图用以表述无死锁组合的活动序列。最后提出判断有限组合是否存在死锁的方法,并用一个简单的电子商务实例说明了方法的有效性。