首页 | 本学科首页   官方微博 | 高级检索  
     

可分解非对称选择网的活性和家态
引用本文:林贵献,陆维明.可分解非对称选择网的活性和家态[J].计算机学报,2002,25(12):1325-1330.
作者姓名:林贵献  陆维明
作者单位:中国科学院数学研究所,北京,100080
基金项目:国家自然科学基金 ( 6 97730 16 ),国家重点基础研究专项经费( G19980 30 416 ),中国科学院管理、决策与信息系统实验室 ( MADIS)资助
摘    要:徐静等曾给出了非对称选择网(Asymmetric ChoiceNets,AC网)的一子类,即可分解非对称选择网(DecomposableAsymmetric Choic eNets,DAC网),证明其结构活结构有界的充分必要条件满足死锁-陷阱性能,该文与之不同,给出了一种合成方法,证明合成后的DAC网保持了子网的性质,如活性,有界性和家态(HomeState),同时充分利用子网的性质给出了判定此类合成DAC网结构活和结构有界的有多项式时间算法,最后,给出了一类更一般的组合网,该组合网保持了子网的活性。

关 键 词:可分解  非对称选择网  活性  家态  有界性  Petri网  DAC网
修稿时间:2001年7月6日

Liveness, Boundedness and HomeState of Decomposable Asymmetric Choice Nets
LIN Gui-Xian,LU Wei-Ming.Liveness, Boundedness and HomeState of Decomposable Asymmetric Choice Nets[J].Chinese Journal of Computers,2002,25(12):1325-1330.
Authors:LIN Gui-Xian  LU Wei-Ming
Abstract:
Keywords:decomposable asymmetric choice nets  liveness  boundedness  homestate
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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