Petri网替换运算
合集下载
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
Petri网替换运算
吴振寰;吴哲辉
【期刊名称】《计算机科学》
【年(卷),期】2005(32)11
【摘要】文中给出了Petri的替换运算定义,它是对分层模拟与逐步求精的Petri网建模思想方法的一个形式化描述.文中还通过Petri网语言讨论了Petri网的替换运算同语言的替换运算之间的关系,结果表明,这两个从不同角度给出的替换运算在实质意义上是协调的.
【总页数】3页(P238-240)
【作者】吴振寰;吴哲辉
【作者单位】山东科技大学信息科学与工程学院,青岛,266510;山东科技大学信息科学与工程学院,青岛,266510
【正文语种】中文
【中图分类】TP3
【相关文献】
1.极限运算中的局部无穷小等价替换规则 [J], 吴彬
2.基于位替换运算的RFID双向认证协议 [J], 杜宗印;章国安;袁红林
3.基于Petri网的Web服务描述及其可替换性分析 [J], 郭峰;魏光
4.Petri网替换运算的不变量保持条件 [J], 岳昊;吴哲辉
5.位替换运算的超轻量级移动RFID认证协议 [J], 梅松青; 邓小茹
因版权原因，仅展示原文概要，查看原文内容请购买。