基于同步合成的结构复杂Petri网的行为描述

来源 :软件学报 | 被引量 : 0次 | 上传用户:lsh19
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
首先分析了一类结构简单的Petri网-S-网的语言性质,得到了它们的行为描述方法.拓展了Petri网同步合成的概念,证明了给定一个结构复杂的Petri网都可通过一组S-网的同步合成运算而得到,并给出了相应的求解算法.引入语言的同步交运算,分析了结构复杂的Petri网与其同步合成子网之间的行为关系,给出了结构复杂Petri网的行为描述算法,为利用网语言分析实际系统的行为特征提供了可靠的理论依据和方法.
其他文献
新疆贯彻执行《婚姻法》,是在婚姻和家庭领域肃清封建残余和建立新的社会生活的重大社会改革,这一民主改革深刻地、富有成效地推动新疆各族妇女的解放,保护新疆各族妇女的合法权
新疆第十届哲学社会科学奖评奖工作于2013年12月3日启动。〈br〉 本届参评成果须为2010年1月1日至2012年12月31日期间发表、结项和完成的社科研究成果,包括公开发表的学术论
文档安全性对于信息共享Peer-to-Peer(或P2P)系统而言是一项重要的性能指标,以P2P系统的文档安全性优化为目标.P2P系统的文档安全性主要取决于两方面的因素:其栽体的安全性和文档
农村卫生室是农村三级预防保健网的网底,在农村卫生防病工作中具有不可替代的作用.随着经济的发展,村卫生室曾一度受到不同程度的冲击,一些地方受经济利益的驱动,为了追求利
研究了一类集成分批的并行机间歇过程调度问题(parallel machine batch process scheduling problem,简称PBPSP),将此问题转化为固定费用运输问题(fixed charge transportation pr
2000年第四次全国结核病流调初步结果显示:我国结核病疫情还相当严重,部分地区有蔓延趋势,调查出的病人中有60.0%发病前未接受过卫生宣传.在校学生,特别是初、高中学生,正处
新生儿黄疸是新生儿时期常见的症状,由于新生儿胆红素代谢的特点,早期新生儿可出现生理性黄疸,若同时伴有任何高危因素,黄疸程度超过生理性范围时,称为高胆红素血症(简称高胆
1月22日,由水电三局、水电五局参与建设的黄河海勃湾水利枢纽工程通过内蒙古自治区水利厅组织的工程竣工验收,标志着该工程正式投入运行。黄河海勃湾水利枢纽工程是《黄河流
为有效地减少钢桁加劲梁悬索桥仿真分析计算的单元数与节点数,可以把空间桁架加劲梁模型通过刚度等效转换成单梁模型.建立空间桁架加劲梁的悬臂有限元模型,根据梁段荷载和变
坚持以学员为本构建少数民族干部培养教育新模式,是贯彻现代成人教育理念,实现新世纪民族干部培养教育的新要求。广西民族大学民族干部教育的创新思路和实践经验,对推进我国成人