【摘 要】
：
时序Petri网是对原型Petri网模型(称为时序Petri网的基网)加上时序逻辑公式进行的扩充.本文初步讨论了时序Petri网的语言表达能力,得出的结论是这种扩充不弱于带抑止弧的Petr
【机 构】
：
山东科技大学信息学院,山东青岛,266510
【出 处】
：
第十次全国Petri网学术年会暨形式化方法学术讨论会
论文部分内容阅读
时序Petri网是对原型Petri网模型(称为时序Petri网的基网)加上时序逻辑公式进行的扩充.本文初步讨论了时序Petri网的语言表达能力,得出的结论是这种扩充不弱于带抑止弧的Petri网的表达能力,但控制型有界时序Petri网的描述能力则同有界原型Petri网是等同的.文中给出了把控制型有界时序Petri网转化为有界原型Petri网的算法,并通过实例描述了转化过程。
其他文献
作战仿真系统模型的复杂性主要来源于战场角色行为和战场环境的复杂性,多Agent系统是解决复杂问题的有效方法。分析作战仿真系统的模型组成和特点,结合自然环境建模,研究了基于多Agent的战场角色建模方法,描述了战场角色Agent所需的组件及其功能。设计了一种面向战场角色建模的通用Agent体系结构,并对战场角色Agent的规划、通信和协作等理论和应用问题进行了研究。
在建立的汽车动力传动系统主要零部件的结构优化设计,零部件总成到整车系统各层次的运动学动力学及其相互作用的数学模型,以及汽车主要性能计算、优化计算的众多数学模型的基
近几年来,我市优质蟹种培育发展迅速,涌现出了多个养殖典型户。宜兴市新建镇庄林村的庄顺刚就是其中之一。庄顺刚蟹种养殖面积11亩,实现总产量1,400kg,获经济效益94,013元,亩
日前，鱼松、鱼片、糟鱼、熏烤、田鲤干、药膳中华鳖等淡水养殖产品，经精深加工成方便、熟食小包装的新产品后，一上市就深受消费者的青睐，成为抢手货。
那天我正在看碟,老妈捧了本书进来问:这个“l don’t know.”是什么意思?我:“我不知道”。老妈:送你上了这么多年学,你怎么什么都不知道?我:不是!是“不知道”嘛!老妈:还嘴
文章以实际工作经验为基础,首先叙述了统计管理工作在企业经营发展过程中的重要意义和作用,指出了机械加工企业统计管理工作现存的问题,提出了相应的改进和解决措施,以期为机
随着供电企业业务的拓展,实体营业厅出现了大量问题,为向客户提供优质、规范、便捷、高效的服务,依托互联网技术建设网上营业厅,将是以企业为核心、连接电力企业与客户的有效
设计了一种实用的景象匹配仿真方法。用该方法对匹配算法进行性能评估,可提高所获取的算法性能参数的可信度。基于对特定匹配算法的性能参数进行分析,提出了一种面向景象匹配制导的基准图可匹配性检测方法,为匹配区基准图的选定提供了新的度量参数。仿真比较实验结果验证了本文仿真方法的实用性、有效性。
近年随着养殖技术的普及与提高,精养鱼塘发展较快,但是精养水体鱼类一旦发病,往往难于治疗,损失极大。随着精养鱼塘的日渐老化,鱼类发病的机率也日益增加,鱼病防治成本越来越
淘通从心开始,隔着两张肚皮的心犹如隔着窗子的两张面容,只要轻轻打开那扇窗子,阳光便会照进来。