焦莉
- 作品数：14 被引量：68H指数：6
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家科技重大专项更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 关于ESAC网活性和有界性的一个多项式算法被引量：3
- 2002年
- 寻找实际可行的多项式算法一直是Petri网应用的重要方面.给出了关于扩展强化非对称选择网(extended strong asymmetric choice nets,简称ESAC网)结构活和结构有界的一个判定算法.该算法可简单、有效地测试结构活结构有界的ESAC网的初始标识是否是活标识.ESAC网覆盖了自由选择网,因此,该算法应用范围较为广泛.
- 焦莉陆维明
- 关键词：活性有界性多项式算法PETRI网
- 基于共享位置的Petri网系统综合与保性被引量：6
- 2007年
- 基于Petri网技术及其共享位置(shared places),文章介绍了一种综合设计方法,该方法便于多种设计模型的重用,并且在一定条件下,每一步综合设计过程都能保持无死锁(deadlock free)等Petri网的重要行为特点.对一些特殊的网类,活性(liveness)也能保持.
- 焦莉陆维明
- 关键词：PETRI网
- 基于极小T-不变量增加的Petri网可达性分析被引量：6
- 2010年
- 基于极小T-不变量增加的Petri网的可达性分析,首先对网的状态方程加以合理的约束,求得一组特征解向量;然后利用扩展极小T-不变量关系图和扩展借矩阵在这些特征解向量的基础上适当添加整数倍的极小T-不变量;最后再判断这个添加极小T-不变量后的解向量的可达性。该方法不仅能判定一类含T-不变量Petri网的可达性,而且能在可达的情况下求得一个合法的变迁发生序列,并在一定程度上简化了可达性分析的过程。
- 彭建兵焦莉
- 关键词：PETRI网可达性
- Petri网共享PP-型子网合成性质分析被引量：9
- 2007年
- Petri网合成可以避免状态空间按指数阶迅速扩大的问题,并且在网扩大时可以保持原网的某些优良性质.为了解决资源共享问题,焦莉等人对于一个满足死锁-陷阱性质(ST-property)的非对称选择网(asymmetricchoice,简称AC)进行库所合并,给出了合并后的网保持原网活性、有界性和可回复性的条件.主要动机是对焦莉等人的研究结果进行推广,把对于AC网的库所合并问题推广到AC网或更一般的Petri网上的子网共享合成问题.给出了使共享PP-型子网合成Petri网系统保持活性、有界性和可回复性的条件以及多个AC网进行共享PP-型子网合成,使得到的合成网仍为AC网的条件.结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供一定的手段.
- 夏传良焦莉陆维明
- 关键词：PETRI网子网
- Petri网精细化操作及其在系统设计中的应用被引量：20
- 2006年
- 针对柔性制造系统的设计问题,提出了用Petri网精细化操作解决问题的方案.给出了两种精细化操作.研究了Petri网精细化操作的动态性质保持问题,给出了精细化操作保持活性、有界性、可回复性的充分必要条件;对一个柔性制造系统进行了设计和验证.其结果可为Petri网系统静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段,并特别适合于柔性制造系统的设计,具有一定的实用价值.
- 夏传良焦莉陆维明
- 关键词：PETRI网活性有界性系统设计
- 扩展强化非对称选择网的活性和有界性被引量：4
- 2001年
- 给出了一类非对称选择网 (asymmetric choice net,简称 AC网 ) ,扩展了强化非对称选择网结构活的充分必要条件 ,证明了扩展强化非对称选择网如果是结构活的 ,其标识的活性是可判定的 .同时也证明了扩展强化非对称选择网活性的单调性 ,并给出其结构活和结构有界的充分必要条件 .
- 焦莉陆维明
- 关键词：非对称选择网活性有界性离散事件系统PETRI网
- Petri网共享子网合成活性分析
- 为解决子系统共享问题,提出了经由Petri网系统共享一种子网构成共享子网合成网的解决方案;给出了一种关于Petri网的从抽象化到精细化描述方法,它是使合成网保持原网性质的一种关键技术.研究了共享子网合成网的性质,提出了共...
- 夏传良焦莉陆维明
- 关键词：PETRI网
- 文献传递
- 非对称选择网活性的一个多项式时间判定(英文)被引量：1
- 2001年
- 活性判定是 Petri网中一直没有完全解决的问题 .针对非对称选择网的活性问题 ,利用结构分析理论 ,作了进一步的研究 .首先 ,讨论和分析了活性判定的一般方法 ,然后利用 S-不变 ,提出了非对称选择网活性判定的一个充分条件 ,并给出了相应的多项式算法 .同时 ,对有界的非对称选择网的活性单调性问题进行了深入的研究 ,得到了一个简单的充分必要条件 .
- 焦莉陆维明
- 关键词：非对称选择网活性多项式时间PETRI网
- 一类Petri网系统的活性被引量：9
- 2002年
- Petri网是一种用来研究具有异步、并发特征的离散事件系统的合适的工具 .当用 Petri网来模拟一个实际系统时 ,关心的问题之一就是要确定这个 Petri网模型是否具有一些所期望的特性 ,如活性、有界性等 .这些特性均是系统的重要动态行为 .该文基于文献 [1]给出了 Petri网的一子类 ,即弱化非自控网 (Weak Extended Non Self-Controlling Nets,简称 WENSe C网 ) ,该类网覆盖了扩展自由选择网和扩展非自控网 .文中提出并证明了 WENSe C网系统活性的充分必要条件满足死锁 -陷阱性质 ,同时对 WENSe C网的一子类 ,通过转化方法 ,证明了该类结构有界网的结构活判定算法可借用扩展非自控网的有关结果也是多项式时间算法 .
- 林贵献陆维明焦莉
- 关键词：PETRI网活性离散事件系统
- 加权非对称选择网活性和有界性分析被引量：3
- 2001年
- 给出了 Petri网系统的一个重要子类 ,即加权非对称选择网 (weighted asymmetric choice net,简称 WAC网 )系统活性的一个充分条件和一个必要条件 ;同时 ,提出了活的有界的 WAC网系统的判定条件 ,进而给出了WAC网活性满足单调性的充分必要条件 .
- 焦莉陆维明
- 关键词：PETRI网活性有界性
