论加权扩充自由选择网的活性与安全性

微信服务号

微信订阅号

首页 > 过刊浏览>2000年第11卷第3期 >300-307

论加权扩充自由选择网的活性与安全性
DOI:
                        
CSTR:
                        
作者:
                        
作者单位:
作者简介:
通讯作者:
中图分类号:
基金项目: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).

On Liveness and Safeness for Weighted Extended Free Choice Nets

Author:

Affiliation:

Fund Project:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

文章评论

摘要:

活性与安全性是网系统重要的行为性质.对于位置/变迁网系统的一些子类，人们已为之导出许多有意义的结果.该文贡献在于为一种称为加权扩充自由选择网的网系统子类找到活性与安全性的一般性质.文章先给出其活性等价条件的简要与直观的证明,随后,对于这一类安全的子系统又给出活性的充分必要条件.

Abstract:

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

复制

文章指标

点击次数:
下载次数:
HTML阅读次数:
引用次数:

历史

收稿日期:1997-10-21
最后修改日期:1998-09-09
录用日期:
在线发布日期:
出版日期:

微信服务号

微信订阅号

引用本文

分享

文章指标

历史

文章二维码