加权非对称选择网活性和有界性分析

微信服务号

微信订阅号

首页 > 过刊浏览>2001年第12卷第12期 >1843-1850

加权非对称选择网活性和有界性分析
DOI:
                        
                    
作者:
                        
                        
                    
作者单位:
作者简介:
通讯作者:
中图分类号:
基金项目:国家自然科学基金资助项目(69773016);国家重点基础研究发展规划973资助项目(G1 998030416)

On Liveness and Boundedness of Weighted Asymmetric Choice Nets

Author:

Affiliation:

Fund Project:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

文章评论

摘要:

给出了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
录用日期:
在线发布日期:
出版日期:

微信服务号

微信订阅号

引用本文

分享

文章指标

历史

文章二维码