论文部分内容阅读
给出了Petri网的语言等价性概念和有界Petri网的最小化概念；证明了有限状态自动机、有界Petri网、正规文法的等价性，给出了它们之间等价转换的算法；分析了有界Petri网的化简过程，并给出了有界Petri网最小化化简的算法，为有界Petri网的自动化化简提供了方法。
有界Petri网的最小化化简
【摘 要】
：
给出了Petri网的语言等价性概念和有界Petri网的最小化概念；证明了有限状态自动机、有界Petri网、正规文法的等价性，给出了它们之间等价转换的算法；分析了有界Petri网的化简过程
【机 构】
：
山东农业大学信息学院,山东科技大学信息学院
【出 处】
：
计算机科学
【发表日期】
：
2007年11期
其他文献
针对安全协议安全属性是否满足，缺乏有效性能评价方法的现状，大都使用SPI演算或相近的进程代数方法进行建模。利用这种方法不仅能够有效地形式化描述安全协议，并且能够对安全协
针对目前字符识别方法对旋转角度大的字符难以识别的问题,本文提出一种基于中心与圆周的英文字符识别方法(CCR),通过对字符中心和适当半径圆周上的点进行分析来识别英文字符。文章通过理论分析和实验,证明了该方法能够对任意旋转角度的英文字符进行正确识别,并给出了需要进一步研究的问题。
本文提出了一种基于坐标对准的数字水印方案。它首先对含有版权信息的二值水印序列进行混沌置乱，以柽高水印的安全性，然后把置乱的序列嵌入原宿主图像的DCT中频系数中，同时也在
目的：探讨前列腺增生症合并的前列腺炎症对病人下尿路症状的影响因素。方法：纳入行经尿道前列腺电切术的前列腺增生症病人52例，术前作尿常规分析、经直肠前列腺B超、尿流动力检
具有时态特征的角色访问控制（RBAC：Role Based Access Control）模型能够为RBAC控制机制提供动态的时间控制因素，是目前安全模型领域的研究热点。基于对周期理论和时态RBAC模型的
基于模拟的虚拟产品开发涉及到建模和模拟技术，模拟主要是设计评估和验证，确保设计的性能，验证设计的缺陷。本文介绍了一种网格环境下的协同设计与制造技术，分析了松耦合的协同设
本文提出了一种基于平台的GPRS行业应用开发技术，并实现了基于平台的GPRS行业应用开发系统建模与仿真工具。这种GPRS行业应用开发技术基于任务流图模型进行GPRS行业应用系统的
篇章消解，即识别篇章中对现实世界中同一实体不同表达的过程，包括指代消解和同指消解两个方面。作为信息抽取的重要环节，它在信息检索、自动文摘及文本挖掘等领域有着广阔的应用
随着Web技术的不断发展和普及,它已经从最初的人类社会的辅助设施逐渐形成为一个与现实世界相对应的Web世界（Web-wide World）,作为现实世界的映像,与现实世界紧密的融合在一起.
随着Web服务的广泛应用和发展，提供安全保障能力是Web服务在商业应用中获得成功的关键因素。然而，目前还没有一种有效的方法对SOAP消息附件提供安全性支持。针对这一问题，本文提