English

应用科学学报 ›› 2000, Vol. 18 ›› Issue (1): 42-46.

• 论文 • 上一篇    下一篇

合成网的进程语义

蒋昌俊1,2,3,4, 祝明发3,4, 李国杰3,4   

  1. 1. 同济大学计算机科学与工程系, 上海 200092;
    2. 山东科技大学计算模型与算法研究所, 山东泰安 271019;
    3. 国家智能计算机研究开发中心, 北京 100080;
    4. 中国科学院计算技术研究所, 北京 100080
  • 收稿日期:1998-10-29 修回日期:1999-01-21 出版日期:2000-03-31 发布日期:2000-03-31
  • 作者简介:蒋昌俊(1962-),男,安徽安庆人,教授,博导;祝明发(1945-),男,四川岳池人,研究员,博导;李国杰(1943-),男,湖南绍阳人,研究员,博导,院士.
  • 基金资助:
    国家自然科学基金(69973029,69933020)、全国优秀博士学位论文

Process Semantics of Composition Nets

JIANG Chang-jun1,2,3,4, ZHU Ming-fa3,4, LI Guo-jie3,4   

  1. 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
  • Received:1998-10-29 Revised:1999-01-21 Online:2000-03-31 Published:2000-03-31

PDF

76

被引次数

1

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

关键词: 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.

Key words: process, property, behavior, Petri net

中图分类号: