微信服务号

微信订阅号

2025年4月13日 7:03 星期日
首页 > 过刊浏览>2001年第12卷第12期 >1843-1850
PDF HTML阅读 XML下载 导出引用 引用提醒
加权非对称选择网活性和有界性分析
作者:
基金项目:

国家自然科学基金资助项目(69773016);国家重点基础研究发展规划973资助项目(G1 998030416)


On Liveness and Boundedness of Weighted Asymmetric Choice Nets
Author:
  • 摘要
    • | |
  • 访问统计
    • |
  • 参考文献
    • |
  • 相似文献
    • |
  • 引证文献
    • | |
  • 文章评论
    摘要:

    给出了Petri网系统的一个重要子类,即加权非对称选择网(weighted asymmetric choice net,简称WAC网)系统活性的一个充分条件和一个必要条件;同时,提出了活的有界的WAC网系统的判定条件,进而给出了WAC网活性满足单调性的充分必要条件.

    Abstract:

    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.

    参考文献
    相似文献
    引证文献
引用本文

焦莉,陆维明.加权非对称选择网活性和有界性分析.软件学报,2001,12(12):1843-1850

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2000-04-18
  • 最后修改日期:2000-07-06
文章二维码
友情链接:中国科学院软件研究所中国计算机学会中国科学院国家自然科学基金委员会CCF数字图书馆Int'l J of Softw Info计算机系统应用
您是第19819456位访问者
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司

京公网安备 11040202500063号