论文部分内容阅读
定义了α闭包表达式和同步交错正规表达式,证明了同步交错正规表达式与Petri网语言的等价性,给出了Petri网语言的结构特征:任意一个Petri网语言都是一个正规语言表达式与α闭包表达式的同步,借助于这一特性,给出了Petri网的化简过程及其算法。
基于语言等价的Petri网化简
【摘 要】
：
定义了α闭包表达式和同步交错正规表达式,证明了同步交错正规表达式与Petri网语言的等价性,给出了Petri网语言的结构特征:任意一个Petri网语言都是一个正规语言表达式与α闭
【机 构】
：
山东农业大学信息学院
【出 处】
：
系统仿真学报
【发表日期】
：
2007年S1期
【基金项目】
：
国家自然科学基金(60673053)
其他文献
虽然自2009年以来,摩洛哥境内相继建立了三所孔子学院,但这些孔子学院教学体系不甚完善,体现在学生报名人数众多,流失量却也非常大。学习动机是影响第二语言学习的重要情感因素之一。学习动机为学习者提供开始学习的动力,并维持学习者向着学习目标不断努力、不断进步。在摩洛哥汉语学习者大量流失的情况下,研究学生的学习动机至关重要。了解学生学习动机有助于我们采取“量体裁衣”的方法提高学习动机,改善学生流失状况,
本研究旨在从情绪调节的角度入手,探讨学业情绪对学业倦怠的影响,进一步分析情绪调节策略在学业情绪对学业倦怠的影响中所起的中介效应,从情绪调节的视角,扩展学业倦怠的理论
目的:观察脐周八穴结合背俞穴埋线治疗单纯性肥胖的临床疗效。方法:将110例单纯性肥胖患者随机分为治疗组60例和对照组50例。治疗组针采用脐周八穴结合背俞穴埋线治疗,对照组
在新时期背景下,办公室行政事务管理工作也面临着较大的挑战与冲击,使得办公室行政事务管理内容与形式发生了较大的转变。本文首先分析了办公室行政事务管理概述,同时阐述了
目的:研究中西医结合治疗急性乳腺炎的临床疗效。方法:将急性乳腺炎患者69例随机分为治疗组和对照组,治疗组34例予瓜蒌牛蒡汤加减联合西医常规治疗,对照组35例予以单纯常规西
Petri网是系统建模和行为分析的有力工具,在很多领域得到广泛应用。但"节点过多,状态爆炸"是阻碍Petri网技术发展的瓶颈问题,尤其对于目前很多大而复杂的系统,其分析非常复杂
全球半导体市场呈现强劲的上升态势,特别是亚洲地区数字消费电子、手机和笔记本电脑等领域的需求持续增长,将大幅促进半导体产品在该地区的销售。全球分销商正在以北美和亚太
当前,在经济新形势下,企业在市场经济中面临的竞争日益激烈,如何能够在这样复杂的环境中提升自己的市场地位和竞争能力,是每个现代企业家都必须面临的问题。绩效管理作为现代
目的探讨香砂六君子汤治疗胆汁反流性胃炎的临床效果。方法 68例胆汁反流性胃炎患者,随机分为对照组和观察组,各34例。对照组采用奥美拉唑肠溶胶囊、吗丁啉及铝碳酸镁咀嚼片
清洁发展机制CDM是《京都议定书》框架下为使发达国家达到减排义务而设定的三种灵活机制之一,通过该机制,我国企业可将碳排放权"销售"并获得收入。由于排放权是一种有价值的