首页 | 官方网站   微博 | 高级检索  
     

论加权扩充自由选择网的活性与安全性
引用本文:甄强,陆维明.论加权扩充自由选择网的活性与安全性[J].软件学报,2000,11(3):300-307.
作者姓名:甄强  陆维明
作者单位:中国科学院数学研究所,北京,100080
基金项目: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).
摘    要:活性与安全性是网系统重要的行为性质.对于位置/变迁网系统的一些子类,人们已为之导出许多有意义的结果.该文贡献在于为一种称为加权扩充自由选择网的网系统子类找到活性与安全性的一般性质.文章先给出其活性等价条件的简要与直观的证明,随后,对于这一类安全的子系统又给出活性的充分必要条件.

关 键 词:加权扩充自由选择网    安全  结构活  结构安全.
收稿时间:1997/10/21 0:00:00
修稿时间:9/9/1998 12:00:00 AM

On Liveness and Safeness for Weighted Extended Free Choice Nets
ZHEN Qiang and LU Wei-ming.On Liveness and Safeness for Weighted Extended Free Choice Nets[J].Journal of Software,2000,11(3):300-307.
Authors:ZHEN Qiang and LU Wei-ming
Affiliation:Institute of Mathematics The Chinese Academy of Sciences Beijing 100080
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.
Keywords:Weighted extended free choice net  live  safe  structurally live  structurally safe  
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《软件学报》浏览原始摘要信息
点击此处可从《软件学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号