Petri网语言的同步交运算

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户:xiaoyezi422
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Petri网语言是用于系统行为分析的有力工具,利用传统的语言运算并不能很好地刻画Petri网的语言行为.为此,本文给出一种新的Petri网语言运算操作-同步交运算,并就网系统的分解和合成过程中的行为关系,分析了Petri网语言的同步交运算的作用和意义.
其他文献
目的:本研究旨在客观评价激痛点针刀疗法治疗腰臀肌筋膜疼痛综合征的即时、近期和远期疗效,为针灸临床治疗肌筋膜疼痛寻找一种安全、快捷、远近期疗效兼顾的治疗方法。方法:本
计算机视觉研究中,为了实施对人运动图像的跟踪,本文提出了基于变化区域的对象刚体标注法和语义模型跟踪法,通过对标注的刚体特征点在空间位移的估算,结合特征点在水平面上投影所形成的特征码来构成刚体的运动语义数学模型,从语义模型来计算特征点的运动位置,从而实现对人运动的跟踪,对于人的复杂运动描述也具有参考价值.
国家发展改革委为促进科学决策,从源头上防范和化解投资项目规划、建设、运行中可能引发的社会矛盾而建立了重大项目社会稳定风险评估机制。经过三年来的探索和实践,这项机制较
本文首先回忆了刘叔新、张志毅在辞书编纂、辞书学理论方面的杰出贡献;接着讨论中国辞书史上发生的三大转变,即辞书编纂由个人独作到团队合作,政府角色由颁行者到引导者,编者
习语是语言的重要组成部分,是语言的精髓所在。习语是语言在长期使用过程中形成的、有特殊意义的固定表达方式,它是一个民族文化的智慧结晶的体现。英汉习语体现着不同民族的
采用爆炸焊接技术制备了锡黄铜/钢复合板(HSn62-1/16MnIII),通过试板制备进行工艺实验并对过程中的关键参数进行控制。利用特殊的复层刻槽工艺保证爆炸焊接的工艺质量,并降低
<正>设计概论是学习设计必修的一门课程,能够让我们了解设计的历史。今年是我学设计的第一年,在这堂课上这我学到了很多也收获了许多。在老师的指导下,我慢慢地了解了设计,渐
通过对目前流行的组件技术和WebGIS实现技术进行分析,详细阐述了实现基于组件的WebGIS的关键技术和相关问题.最后本文从实践的角度在GeoBeans的基础上用VC++ATL库设计了一个三层结构的WebGIS实例进行了验证,并对该系统的运行效果进行了分析,且提出了一些有益的建议.
<正>目的评价三维适形放射治疗加化疗对直肠癌患者术后复发的疗效和生存率的影响。方法将32例直肠癌术后局部复发患者分为三维适形放疗加化疗组(放化组)与单纯放疗组(单放组)
会议
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield