节点文献

合成网的进程语义

Process Semantics of Composition Nets

推荐 CAJ下载
PDF下载
不支持迅雷等下载工具，请取消加速工具后下载。

【Author】 JIANG Chang jun 1,2,3,4 , ZHU Ming fa 3,4 , LI Guo jie 3,4 (1.Department of Computer Science & Engineering, Tongji University, Shanghai 200092, China; 2.Institute of Computer Model & Algorithm, University of Shandong Science & Technology

【机构】同济大学计算机科学与工程系!上海200092；山东科技大学计算模型与算法研究所,山东泰安271019；国家智能计算机研究开发中心,北京100080；中国科学院计算技术研究所,北京100080,国家智能计算机研究开发中心!北京100080；中国科学院计算技术研究所,北京100080,国家智能计算机研究开?；

【摘要】着重考察 Petri网同步合成和共享合成中其进程的性质 ,分别讨论了进程语义在子系统上的投影以及对于顺序语义的模拟特性 ,获得一系列语义关系公式 ,它们将为并发系统的分析和验证提供有力工具 .更多还原

【Abstract】 In this paper, we study the process properties of Petri net synchronous composition nets and share composition nets. The projection of process semantics on the subsystems and its modelling characteristic on sequence semantics are discussed respectively. A group of the formulas of semantics relations are thus obtained. They will be used in the analysis and verification of concurrent systems.更多还原

【关键词】 Petri网；进程；行为；性质；
【Key words】 Petri net； process； behavior； property；

【基金】国家自然科学基金!( 69973 0 2 9,6993 3 0 2 0 );全国优秀博士学位论文作者专项基金!( 19993 4 );山东省优秀中青年科学家基金;

【文献出处】应用科学学报 ,JOURNAL OF APPLIED SCIENCES , 编辑部邮箱 ,2000年01期

【分类号】N94
【被引频次】2
【下载频次】63

知网节下载

节点文献中：

本文链接的文献网络图示:

本文的引文网络

节点文献