English

应用科学学报 ›› 2000, Vol. 18 ›› Issue (3): 271-275.

• 论文 • 上一篇    下一篇

同步合成网的完全顺序行为不变性

蒋昌俊1,2,3,4   

  1. 1. 同济大学计算机科学与工程系, 上海 200092;
    2. 合肥工业大学计算机科学与工程系, 安徽合肥 230063;
    3. 山东科技大学计算模型与算法研究所, 山东泰安 271019;
    4. 中科院软件所计算机科学开放实验室北京 100080
  • 收稿日期:1999-09-24 修回日期:2000-01-06 出版日期:2000-09-30 发布日期:2000-09-30
  • 作者简介:蒋昌俊(1962-),男,安徽安庆人,教授,博导,博士.
  • 基金资助:
    国家自然科学基金(69973029,693020);全国优秀博士学位论文作者专项基金(19934);山东省优秀中青年科学家墓金;上海晤光基金(0810236019)和教育部青年骨干教师基金(00182)联合资助项目

Complete Sequence Behavior Invariance of Synchronous Composition Nets

JIANG Chang-jun1,2,3,4   

  1. 1. Department of Computer Science and Engineering, Tongji University, Shanghai 200092, China;
    2. Department of Computer Science and Engineering, University of Hefei Science and Technology, Hefei 230063, China;
    3. Institute of Computer Model and Algorithm, University of Shandong Science and Technology, Taian 271019, China;
    4. Institute of Software, The Chinese Academy of Sciences, Beijing 200050, China
  • Received:1999-09-24 Revised:2000-01-06 Online:2000-09-30 Published:2000-09-30

PDF

84

被引次数

31

摘要： 定义了完全行为不变性,引入根同构等概念,给出完全行为不变性的一个简洁判据.进一步地研究了完全行为不变性在活性和公平性等重要性质保持过程中的作用,指出在完全行为不变的前提下,这些性质的保持是充分必要的关系。

关键词: 活性, Petri网, 完全行为不变性, 公平性

Abstract: The complete behavior invariance is defined. The concepts such as root isomorphism, etc. are introduced. A simple decision for the complete behavior invariance is given. Moreover, the roles of the complete behavior in preserving properties such as liveness and fairness and so on are studied. The conditions sufficient and necessary for preserving these properties under the complete behavior invariant are obtained.

Key words: Petri net, liveness, fairness, complete behavior invariance

中图分类号: