利用改进可达树检查一库所无界Petri网的死锁

全文: PDF(0 KB)
输出: BibTeX | EndNote (RIS)

摘要 Petri网的可达树是一个基础的强有力的分析方法和工具，它可以用来分析各种性能，包括活性、有界性、保持性、可达性和可覆盖性。本文主要利用改进可达树对Petri网的活性和可达性进行分析研究，并基于改进可达树的算法实现对一库所无界Petri网进行死锁检测。

	服务
	把本文推荐给朋友
	加入引用管理器
	E-mail Alert
	RSS
	（）
	作者相关文章
	汤利杰
	卢从慧
	郭大江

关键词 ： Petri网, 改进可达树, 死锁, 活性, 可达性

Abstract： The reachability tree of a Petri net is a fundamental and powerful one for various properties including liveness，boundedness，conservation，reachability，and coverability．This paper analyzes the liveness and reachability of a Petri net，and realizes the deadlock checking for one-place unbounded Petri Nets based on the modified reachability trees．

Key words： Petri net Modified Reachability Tree(MRT) deadlock liveness reachability

收稿日期: 1900-01-01 年卷期日期: 2012-02-10 出版日期: 2012-02-10

引用本文:

汤利杰卢从慧郭大江. 利用改进可达树检查一库所无界Petri网的死锁[J]. , 2012, 1(1、2): 0-0.
Tang Lijie Lu Conghui Guo Dajiang. Realization of the Deadlock Checking for One-Place Unbounded Petri Nets Based on Modified Reachability Trees. , 2012, 1(1、2): 0-0.

链接本文:

http://www.computertelecom.com.cn/CN/ 或 http://www.computertelecom.com.cn/CN/Y2012/V1/I1、2/0