主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第9期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
焦莉,陆维明.加权非对称选择网活性和有界性分析.软件学报,2001,12(12):1843-1850
加权非对称选择网活性和有界性分析
On Liveness and Boundedness of Weighted Asymmetric Choice Nets
投稿时间:2000-04-18  修订日期:2000-07-06
DOI:
中文关键词:  Petri网  加权非对称选择网(WAC网)  活性  有界性  活性单调性
英文关键词:Petri nets  weighted asymmetric choice (WAC) nets  liveness  boundedness  liveness monotonicity
基金项目:国家自然科学基金资助项目(69773016);国家重点基础研究发展规划973资助项目(G1 998030416)
作者单位
焦莉 中国科学院数学与系统科学研究院数学研究所,北京,100080 
陆维明 中国科学院数学与系统科学研究院数学研究所,北京,100080 
摘要点击次数: 2608
全文下载次数: 2924
中文摘要:
      给出了Petri网系统的一个重要子类,即加权非对称选择网(weighted asymmetric choice net,简称WAC网)系统活性的一个充分条件和一个必要条件;同时,提出了活的有界的WAC网系统的判定条件,进而给出了WAC网活性满足单调性的充分必要条件.
英文摘要:
      In this paper, a sufficient condition and a necessary condition on liveness for Weighted Asymmetric Choice (WAC) net system which is an important subclass of Petri net system are presented. Moreover, a judgement condition for live and bound WAC net system is given, and the sufficient and necessary condition for WAC net liveness monotonicity is shown.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利