合成网的进程语义  

Process Semantics of Composition Nets

作　　者：蒋昌俊[1,2,3,4] 祝明发[5,4] 李国杰[5,4] 

机构地区：[1]同济大学计算机科学与工程系 [2]山东科技大学计算模型与算法研究所,山东泰安271019 [3]国家智能计算机研究开发中心,北京100080 [4]中国科学院计算技术研究所,北京100080 [5]国家智能计算机研究开发中心

出　　处：《应用科学学报》2000年第1期42-46,共5页Journal of Applied Sciences

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

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

分 类 号：O157.5[理学—数学] N94[理学—基础数学]