| 合成网的进程语义 |
| |
| 引用本文： | 蒋昌俊,祝明发,李国杰.合成网的进程语义[J].应用科学学报,2000,18(1):42-46. |
| |
| 作者姓名： | 蒋昌俊 祝明发 李国杰 |
| |
| 作者单位： | 1. 同济大学计算机科学与工程系, 上海 200092;2. 山东科技大学计算模型与算法研究所, 山东泰安 271019;3. 国家智能计算机研究开发中心, 北京 100080;4. 中国科学院计算技术研究所, 北京 100080 |
| |
| 基金项目： | 国家自然科学基金!( 69973 0 2 9,6993 3 0 2 0 )，全国优秀博士学位论文作者专项基金!( 19993 4 )，山东省优秀中青年科学家基金 |
| |
| 摘 要： | 着重考察Petri网同步合成和共享合成中其进程的性质,分别讨论了进程语义在子系统上的投影以及对于顺序语义的模拟特性,获得一系列语义关系公式,它们将为并发系统的分析和验证提供有力工具.
|
| 关 键 词： | Petri网 性质 进程 行为 |
| 收稿时间： | 1998-10-29 |
| 修稿时间： | 1999-01-21 |
Process Semantics of Composition Nets |
| |
| JIANG Chang-jun,ZHU Ming-fa,LI Guo-jie.Process Semantics of Composition Nets[J].Journal of Applied Sciences,2000,18(1):42-46. |
| |
| Authors: | JIANG Chang-jun ZHU Ming-fa LI Guo-jie |
| |
| Institution: | 1. Department of Computer Science & Engineering, Tongji University, Shanghai 200092, China;2. Institute of Computer Model & Algorithm, University of Shandong Science & Technology, Taian 271019, China;3. National Research Center for Intellent Computing System, Beijing 100080, China;4. Institute of Computer Technology, Chinese Academy of Science, Beijing 100080, China |
| |
| 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. |
| |
| Keywords: | Petri net process behavior property |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《应用科学学报》浏览原始摘要信息 |
| 点击此处可从《应用科学学报》下载免费的PDF全文 |
|
