【摘 要】
:
研究了袋自动机和Petri网两种计算模型之间的关系,证明了两者在串行语义下,其动态行为(语言)是等价的,并分别给出了将袋自动机等价转化为Petri网的算法和将Petri网等价转化为袋自动机的算法。
【机 构】
:
山东农业大学信息科学与工程学院,泰安 271018
论文部分内容阅读
研究了袋自动机和Petri网两种计算模型之间的关系,证明了两者在串行语义下,其动态行为(语言)是等价的,并分别给出了将袋自动机等价转化为Petri网的算法和将Petri网等价转化为袋自动机的算法。
其他文献
改革开放以来,由于各阶层人民艰苦卓绝的奋斗和全球化进程的加快,人们的生活水平也跟着大大提高。特别对于建筑行业来说,建筑物的规模和数量得到了前所未有提升,这也使人们对建筑
复合事件检测是复杂事件处理的一个核心技术。基于同步网和C_net研究了复合事件检测的形式化模型,并以该模型为基础设计了一个灵活的复合事件检测算法框架。该算法框架使得复合事件检测算法中的事件消费策略、事件存储策略以及运行时优化策略等可以简单高效的实现和集成。
时间和资源是工作流管理系统中的两个重要的方面,首先从不同模型的角度系统分析了基于Petri网的工作流时间管理问题,对工作流的时间性能分析、时间动态的预测、时序一致性验证、变迁的可调度性方面做总结。在此基础上,对受时间和资源双重约束工作流的Petri网在资源调度及资源冲突管理方面进行了论述,最后讨论了基于Petri网的工作流时间和资源管理方面当前研究的许多问题。
从软件可信本源出发,提出了一种新型的软件开发体系。基于这种新型的软件开发体系,研究Petri网模型到可执行代码的自动转换问题。创造性地提出程序Petri网的概念,给出程序Petri网的定义,制定程序Petri网的构造规则。进一步地,给出几种基本Petri网结构的程序Petri网时间序列图和等效的程序运行过程。
在现阶段水利工程土方填筑施工作业中,为了更好地提升施工效果,往往需要重点把握好各个技术环节,切实做好前期施工准备工作,保障测量放线的准确度,优化基底处理、规范摊铺和碾压作
在社会经济快速发展过程中,水利水电工程在数量上也逐渐增加,边坡开挖支护技术属于水利水电工程中比较常见的技术,其有效应用对施工质量有着十分重要的影响。因此水利水电工程在
随着我国社会经济的快速发展,人们的消费理念也在日益发生变化,信贷消费也变得越来越普遍,大学生作为极具消费潜力的群体,是当前金融机构进行市场开拓的重要一部分,并且因此也出现
在国家深化医药卫生体制改革和开展信息化医疗建设的大背景下,移动终端为载体的医疗诊断系统必将成为未来医疗信息化发展的趋势。本文通过分析医院现有信息化诊疗体系建设的不
在模糊Petri网(FPN)的建立过程中如何确定模糊产生式规则的各项参数是尚未解决的热点问题。在研究蚁群算法和反向传播算法的基础上首次将二者结合,形成ACA-BP算法,并将其运用于FPN的参数寻优过程中。该算法的实现不依赖于经验数据,对初始输入无要求。仿真实例表明,经ACA-BP算法寻优结果令人满意,且得到的FPN模型具有较强的泛化能力和自适应功能。
城市综合管廊可称为地下管廊,地下管廊是通过城市的地下管廊来对整个城市的一些电力、给水、排水等市政工程管线进行管理,同时也是城市规划管理的有效手段,城市地下综合管廊