首页> 中文会议>第十二届全国petri网理论与应用学术年会 >用Pi+演算表示带抑止弧的Petri网

用Pi+演算表示带抑止弧的Petri网

页面导航

摘要
著录项
相似文献
相关主题

摘要

Pi演算和Petri网是常用的两种形式化建模技术,关于他们之间的相互表达问题已经引起了人们的关注。主要目的是研究如何用Pi演算表示一种扩展的Petri网——带抑制弧的Petri网。为了能够表示Petri网的静态及动态结构,首先介绍了具有同步同信原语的Pi+演算,但是这种扩展无法表示抑制位置无穷的Petri网,因此又提出了优先原语,并通过例子说明了优先原语的作用。

著录项

来源
《第十二届全国petri网理论与应用学术年会》|2009年|9-1242|共5页
会议地点天津
作者
郭小群; 郝克刚; 侯红; 丁剑杰;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类算法理论;
关键词
Pi演算; Petri网; 抑制弧; 形式化建模;

相似文献

中文文献
外文文献
专利

1. 基于带抑止弧的Petri网的软件保护技术应用序列构建方法 [J] . 苏庆 ,何凡 ,伍乃骐 . 工业工程 . 2017,第006期
2. 基于带抑止弧Petri网的C#多线程程序分析 [J] . 陈丽特 . 中国新技术新产品 . 2011,第004期
3. 基于带抑止弧Petri网的PLC梯形图设计方法 [J] . 林惠标 ,焦志刚 . 机电工程技术 . 2011,第004期
4. 基于带抑止弧时间Petri网的IEEE802.2 LLC3型协议的建模 [J] . 郭希民 ,吴哲辉 ,孙锐 . 计算机工程与应用 . 2003,第035期
5. Pi+演算及其对Petri网的表达 [J] . 郝克刚 ,郭小群 ,李向宁 . 计算机学报 . 2011,第002期
6. 基于抑止弧Petri网理论的电网故障诊断方法 [C] . 田宝江 ,陈青 ,刘思华 . 中国高等学校电力系统及其自动化专业第二十三届学术年会 . 2007
7. 基于带抑止弧的Petri网表示的嵌入式系统模型化简 [A] . 张玮 . 2020

用Pi+演算表示带抑止弧的Petri网

摘要

著录项

相似文献

相关主题

期刊订阅