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

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

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

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

  • 陈金栋, 刘伟, 冯新, 刘雷
作者信息 +
History +

摘要

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

关键词

Petri网 / 逻辑工作流网 / 死锁 / 组合 / 多集

中图分类号

TP301.1

引用本文

导出引用
陈金栋, 刘伟, 冯新, 刘雷. 基于逻辑工作流网的有限无死锁组合. 山东科技大学学报(自然科学版). 2020, 39(05): 89-97 https://doi.org/10.16452/j.cnki.sdkjzk.2020.05.010

基金

山东科技大学研究生科技创新项目(SDKDYC190333)

评论

PDF(1804 KB)

Accesses

Citation

Detail

段落导航
相关文章

/