有界Petri网的进程演算表达

董振华; 董笑菊

首页> 中文期刊> 《上海交通大学学报》 >有界Petri网的进程演算表达

有界Petri网的进程演算表达

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

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

摘要

为了进一步探讨Petri网与进程演算的关系,给出了一种使用进程演算模型(CCS)表示有界Petri网的方法.对于任意的有界Place/Transition网,可以用该方法构建一个与之相对应的有限进程.并且证明了所得进程与原网之间满足操作一致性和观察一致性.同时,证明了该方法在网的标号互模拟上满足完全抽象性.

著录项

来源
《上海交通大学学报》 |2011年第7期|980-984|共5页
作者
董振华; 董笑菊;
展开▼
作者单位

上海交通大学计算机科学与工程系BASICS实验室;

上海交通大学智能计算与智能系统教育部-微软重点实验室;

展开▼
原文格式 PDF
正文语种 chi
中图分类形式语言理论;
关键词
Petri网; 进程演算; 编码;

相似文献

中文文献
外文文献
专利

1. 有界Petri网进程表达式与活性的关系 [J] . 闫春钢 ,汪明新 ,刘关俊 . 应用科学学报 . 2012,第004期
2. 稳定有界Petri网的进程表达式 [J] . 汪明新 ,刘关俊 ,闫春钢 . 计算机科学 . 2011,第002期
3. 关于有界Petri网的弱进程和弱出现网 [J] . 刘萍 . 计算机科学 . 2021,第0z2期
4. 关于有界Petri网的全进程研究 [J] . 刘萍 . 甘肃高师学报 . 2021,第005期
5. Pi+演算及其对Petri网的表达 [J] . 郝克刚 ,郭小群 ,李向宁 . 计算机学报 . 2011,第002期
6. 故障检测的Petri网模型与Petri网故障进程 [C] . ZHANG Jijun ,张继军 ,DONG Wei . 第十四届全国Petri 网理论与应用学术年会 . 2013
7. 关于Petri网进程表达式求取的一点探讨 [A] . 张锋 . 2009

有界Petri网的进程演算表达

摘要

著录项

相似文献

相关主题

期刊订阅