微信服务号
微信订阅号
This research is supported by the National Natural Science Foundation of China(国家自然科学基金,No.69773016),the Laboratory of Management,Decisionn and Information System of the Chinese Academy of Sciences(MIDIS)of China(中国科学院管理与决策信息系统开放实验室,No.H8902),and the National Grand Foundational Research Project of China(国家重点基础研究专项经费,No.973002).
- 摘要 | |
- 访问统计 |
- 参考文献 [1] |
- 相似文献 |
- 引证文献 | |
- 文章评论
活性与安全性是网系统重要的行为性质.对于位置/变迁网系统的一些子类，人们已为之导出许多有意义的结果.该文贡献在于为一种称为加权扩充自由选择网的网系统子类找到活性与安全性的一般性质.文章先给出其活性等价条件的简要与直观的证明,随后,对于这一类安全的子系统又给出活性的充分必要条件.
Liveness and safeness are important behavioral properties of nets (systems).Many powerful results have been derived for some subclasses of Place/Transition nets (systems).The aim of this paper is to draw a general perspective of the liveness and safeness for a subclass with Extended Free Choice net-like underlying graph but allowing weights:Weighted Extended Free Choice nets (WEFC nets).First,a brief and intuitive proof of liveness equivalent condition for WEFC nets is given.Then,for safe nets,a sufficient and necessary condition is presented.
引用本文
甄强,陆维明.论加权扩充自由选择网的活性与安全性.软件学报,2000,11(3):300-307
复制
文章指标
- 点击次数:3203
- 下载次数: 4943
- HTML阅读次数: 0
历史
- 收稿日期:1997-10-21
- 最后修改日期:1998-09-09
文章二维码
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司
