Petri网的PP型子网精细化操作性质分析及应用

CSpace

	Petri网的PP型子网精细化操作性质分析及应用
	夏传良
	2006
发表期刊	计算机科学
ISSN	1002-137X
卷号	033 期号:002 页码:25
摘要	针对工厂用车间中的若干台机器加工某些部件等这一类业务处理问题，提出了用Petri网精细化操作解决问题的方案。定义了一种PP型子网，用这种子网分别对Petri网系统中的某些库所进行细化，得到更细致、更精确的Petri网系统。研究了Petri网精细化操作的动态性质保持问题，给出这种精细化操作保持活性、有界性、可回复性和公平性的充要条件；本文的结果可为Petri网系统静态和动态性质的考察提供有效途径，为Petri网复杂大系统的分析提供重要手段，并特别适合于一类业务系统的描述和处理，具有一定的实用价值。
语种	英语
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/42114
专题	中国科学院数学与系统科学研究院
作者单位	中国科学院数学与系统科学研究院
推荐引用方式 GB/T 7714	夏传良. Petri网的PP型子网精细化操作性质分析及应用[J]. 计算机科学,2006,033(002):25.
APA	夏传良.(2006).Petri网的PP型子网精细化操作性质分析及应用.计算机科学,033(002),25.
MLA	夏传良."Petri网的PP型子网精细化操作性质分析及应用".计算机科学 033.002(2006):25.