论文部分内容阅读
给出了Petri网的语言等价性概念和有界Petri网的最小化概念；证明了有限状态自动机、有界Petri网、正规文法的等价性，给出了它们之间等价转换的算法；分析了有界Petri网的化简过程，并给出了有界Petri网最小化化简的算法，为有界Petri网的自动化化简提供了方法。
有界Petri网的最小化化简
【摘 要】
：
给出了Petri网的语言等价性概念和有界Petri网的最小化概念；证明了有限状态自动机、有界Petri网、正规文法的等价性，给出了它们之间等价转换的算法；分析了有界Petri网的化简过程
【机 构】
：
山东农业大学信息学院,山东科技大学信息学院
【出 处】
：
计算机科学
【发表日期】
：
2007年11期
其他文献
针对安全协议安全属性是否满足，缺乏有效性能评价方法的现状，大都使用SPI演算或相近的进程代数方法进行建模。利用这种方法不仅能够有效地形式化描述安全协议，并且能够对安全协
本文提出了一种基于坐标对准的数字水印方案。它首先对含有版权信息的二值水印序列进行混沌置乱，以柽高水印的安全性，然后把置乱的序列嵌入原宿主图像的DCT中频系数中，同时也在
目的：探讨前列腺增生症合并的前列腺炎症对病人下尿路症状的影响因素。方法：纳入行经尿道前列腺电切术的前列腺增生症病人52例，术前作尿常规分析、经直肠前列腺B超、尿流动力检
具有时态特征的角色访问控制（RBAC：Role Based Access Control）模型能够为RBAC控制机制提供动态的时间控制因素，是目前安全模型领域的研究热点。基于对周期理论和时态RBAC模型的
本文提出了一种基于平台的GPRS行业应用开发技术，并实现了基于平台的GPRS行业应用开发系统建模与仿真工具。这种GPRS行业应用开发技术基于任务流图模型进行GPRS行业应用系统的
篇章消解，即识别篇章中对现实世界中同一实体不同表达的过程，包括指代消解和同指消解两个方面。作为信息抽取的重要环节，它在信息检索、自动文摘及文本挖掘等领域有着广阔的应用