【摘 要】
：
用Petri网分析系统的逻辑特性时很重要的是分析它的活跃性、非死锁性及安全性。在此提出两个算法—Petri网深度优先算法和活跃性判定算法,并加以证明。
When using Petri ne
【机 构】
：
海军工程学院计算机工程系,海军工程学院计算机工程系,
论文部分内容阅读
用Petri网分析系统的逻辑特性时很重要的是分析它的活跃性、非死锁性及安全性。在此提出两个算法—Petri网深度优先算法和活跃性判定算法,并加以证明。
When using Petri nets to analyze the logical properties of a system, it is important to analyze its activity, deadlock, and security. In this paper, two algorithms-Petri net depth-first algorithm and activity-determining algorithm are proposed and proved.
其他文献
专家组完成了滇西南茶叶生态的考察计划后,就飞往成都,开始了我们的川茶生态考察.rn记得我曾在“从生态视角看中国茶叶”一文中写到, “四川西部是我国森林覆盖率最丰满的地
关于茶文化的发源地,在明以前的文献中,包括茶圣陆羽的《茶经》,都无人涉及过.直到清朝初年,在顾炎武的《日知录》中,才明确提出这样一种看法: “是知自秦人取蜀而后,始有茗
目的探讨免疫分型在急性髓系白血病(AML)诊断、治疗、预后中的意义。方法回顾性分析169例已确诊的AML患者的细胞形态学与免疫表型结果。免疫表型分析采用CD45、侧向角光散射
“茶果套种比单一种植每亩至少增收5000元,目前我们村茶园套种李子面积达3000余亩,规模还将进一步扩大.”峨眉山市双福镇华龙村负责人告诉笔者.华龙村地形地貌以山地为主,土
老年人,全身各器官出现衰竭现象,器官功能发生退行性改变,其中便秘是老年人最常见的慢性消化道症状,常常影响老年人的生活质量,为了探讨老年人便秘的临床特点和治疗方法,本文
前列腺增生症(简称BPH)是男性老年人的常见病,其发病率随年龄增大而增加.BPH临床症状大致可分为排尿困难、尿路刺激及其并发症3组症候群.症状明显者目前仍以手术治疗为主,主