论文部分内容阅读
文章给出了M-Pdetri网的概念，并对其活性进行分析，给出了几个判定M-Petri网活的条件。
基于M—Petri网的活性研究
【摘 要】
：
文章给出了M-Pdetri网的概念，并对其活性进行分析，给出了几个判定M-Petri网活的条件。
【机 构】
：
聊城师范学院计算机科学系
【出 处】
：
计算机工程与应用
【发表日期】
：
2001年15期
【基金项目】
：
山东省自然科学基金资助课题（编号：Y97G08108）
其他文献
<正> 目前正值新西兰苹果成熟期,此前白天气温高,夜间气温低,利于果实着色,果实品质好,但4月初新西兰奥塔戈地区遭到了霜冻袭击。目前农户正忙于采取保护措施。目前种植者接
问诊是中医诊察疾病的方法之一,在四诊中占有重要的位置。明代张景岳称问诊为“诊病之要领,临证之首务”。在诸多问诊内容中又有“问口味好恶,可察脏腑虚实”之说。
该文提出了在移动计算环境中,以脱机(Off-line)方式自主操纵数据的'移动人员”与数据中心之间的数据同步更新的实现方法.
解决了有关文件服务器数据库加锁与刷新构件的设计问题:客户-服务器方式在用户量或网络数据量较少的情况下的执行效率并不如分布式文件服务器方式的效率高,文章在从理论上讨
田园风当道的年代，你是不是也想将自己的家装扮得清新自然呢？但如果房型既定，装修又早已做好，再想打造一种自然的效果就有点小小的难度了。不过空间上的局限并不是无药可救，相反，一
钦州市委市政府明确提出，要加快小街小巷、廉租住房、供水厂改扩建工程和城区供水管网改造等一批民生工程项目的建设，2009年内筹措资金3000万元，建设廉租房2．2万平方米，解决425户
南宁市南湖环湖亲水步道工程为2008年南宁市重点建设项目，工程建设规模环南湖约4公里，内设休息亭廊、亲水平台、坐凳、石桌等设施，建成开放后将成为市民休闲、娱乐的好场所，同时
以某洞库工程主洞室中层开挖施工为背景,洞室基岩为中粗粒花岗岩,其间穿插其它岩脉,如何保证安全和洞库工程的成型质量最为关键。在高直边墙中,采用预裂爆破技术,在对中层开
李、梅是福建省永泰县的传统优势产业,目前已形成了栽培总面积1.23万hm2,年产量5万t,总产值超亿元,占全县农业总产值14.5%的支柱产业.
文章在分析形式化验证／综合系统VIS的基础上，改进了该电子系统中的关键技术－－二叉判定图（BDD），使BDD能表示电路的定时性质，这样就为VIS系统能够进行电路的时间特性验证和实时模型检验