微信服务号

微信订阅号

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

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


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

    给出了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.

    参考文献
    [1] Alla, H. , David, R. Continuous and hybrid Petri nets. Journal of Circuits, Systems, and Computers, 1998,8(1):159～188.
    [2] Champagnat, R. , Esteban, P. , Pingaud, H. , et al. Modeling hybrid systems through by means of high-level Petri nets.In: Ferney. M. , Borne, P. , eds. Proceedings of CIS'97, Vol. 1. Belfort, France, 1997. 469～474.
    [3] Gerogiannis, V.C. , Kameas, A. D. , Pintela, P.E. Comparative study and categorization of high-level Petri nets. Journal of Systems and Software, 1998,43(2):133～160.
    [4] Murata, T. Petri nets: properties, analysis and applications. Proceeding of the IEEE, 1989,77(4):541～580.
    [5] Teruel, E. , Chrzastowski, P. , Colom, J. M. , et al. On weighted T-systems. LNCS, Vol 616, Springer-Verlag, 1992.348～366.
    [6] Xie, Xian-de. On liveness of weighted free choice nets [MS. Thesis]. Institute of Mathematics, Academy of Mathematics and System Sciences, the Chinese Academy of Sciences, 1996 (in Chinese).谢贤德.带权值自由选择网的活性研究[硕士学位论文].中国科学院数学与系统科学研究院数学研究所,1996.
    [7] Zhen, Qiang, Lu, Wei-ming. On liveness and safeness for weighted extended FC nets. Journal of Saftware, 2000,11(3): 300～307 (in Chinese).甄强,陆维明.论加权扩充自由选择网的活性与安全性.软件学报,2000,11(3):300～307.
    [8] Barkaoui, K. , Pradat-Peyre J. On liveness and controlled siphons in Petri nets. LNCS, Vol 1091, Springer-Verlag, 1996. 57～72.
    [9] Zhen, Qiang, Lu, Wei-ming. On liveness of asymmetric choice nets. Journal of Software, 1998,9(5):354～359 (in Chinese).甄强,陆维明.论非对称选择网的活性.软件学报,1998,9(5):354～359.
    [10] Zhen, Qiang, Lu, Wei-ming. On liveness and softness of asymmetric choice nets. Journal of Saftware, 2000,11(5):590～605 (in Chinese).甄强,陆维明.论非对称选择网的活性与安全性.软件学报,2000,11(5):590～605.
    相似文献
    引证文献
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

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

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

京公网安备 11040202500063号