刘显明
- 作品数：10 被引量：25H指数：2
- 供职机构：中山大学信息科学与技术学院计算机科学系更多>>
- 发文基金：国家教育部博士点基金广东省自然科学基金广东省科技攻关计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种扩展了价格信息的时间Petri网被引量：22
- 2007年
- 性能和成本分析是业务流程建模的主要目的,扩展了时间信息的Petri网能够有效地进行性能分析,但是对成本分析却无能为力.提出一种扩展了价格信息的时间Petri网——价格时间Petri网.首先为时间变迁扩展价格参数,并使用价格时间变迁系统给出价格时间Petri网的语义;然后提出计价状态类的概念,并证明为状态类扩展累积成本的合理性和完备性;进而给出一种算法来证明有界价格时间Petri网的最小成本可达问题是可判定的;最后给出一个应用例子并得出结论:为时间Petri网扩展价格信息并将其应用于业务流程管理领域是可行的.
- 刘显明李师贤李文军潘理
- 关键词：时间PETRI网业务流程管理
- 一种扩展了价格变迁的Petri网及应用
- 本文提出一种扩展了价格变迁的Petri网--经济Petri网,讨论了相应的分析方法,并用经济Petri网建立一个业务流程的费用模型.得出的结论包括:为Petri网扩展价格变迁是可行的;将经济Petri网应用于业务流程管理...
- 江月刘显明
- 关键词：网络分析网络管理PETRI网流程管理
- 文献传递
- 一种扩展了价格变迁的Petri网及应用被引量：1
- 2005年
- 提出一种扩展了价格变迁的Petri网--经济Petri网,讨论了相应的分析方法,并用经济Petri网建立一个业务流程的费用模型。得出的结论包括:为Petri网扩展价格变迁是可行的;将经济Petri网应用于业务流程管理领域是有效的。
- 江月刘显明
- 关键词：PETRI网可达性分析业务流程管理
- Petri网的价格建模研究
- 时间和价格是大多数应用系统模型的两项主要参数，因此如何将时间和价格信息有效地在建模工具中表示出来并加以应用成为一个有意义的问题。目前各种扩展了时间信息的Petri网可以有效地建模系统的时间参数，但是对价格参数却无能为力，...
- 刘显明
- 关键词：PETRI网形式语义
- 文献传递
- 一种扩展了价格信息的Petri网被引量：1
- 2006年
- 提出一种扩展了价格信息的Petri网——价格Petri网,讨论了相应的分析方法和应用前景。主要工作是：为Petri网的变迁引入价格参数,并用价格变迁系统给出价格Petri网的语义；对价格Petri网进行了可达性分析并讨论了最小成本可达问题的可判定性；最后用价格Petri网建立一个业务流程的成本模型。结论是：为Petri网扩展价格信息并应用于业务流程管理领域是可行的。
- 刘显明李师贤
- 关键词：PETRI网业务流程管理
- 网格监控体系结构的一种可执行性模型被引量：1
- 2005年
- 为网格监控体系结构建立可执行性模型有助于网格监控系统的服务质量提升。因为网格环境的动态性和不可靠性,所以对网格监控体系结构建模时要从可用性和性能两方面综合考虑。讨论系统可用性、响应时间分布、事件丢失概率、公平性等问题。用随机Petri网建立网格监控体系结构的可执行性模型并讨论了模型的应用。网格监控体系结构的系统模型有一个关键特性:事件发布信息和监控事件数据由不同通道传递,在模型中重点关注这一特性。
- 刘显明李师贤
- 关键词：随机PETRI网系统性能评价网格监控系统网格环境随机PETRI网系统可用性不可靠性
- 一种带价格信号的网格监控服务性能模型
- 格信号引入性能模型是一种有意义的尝试,提出将性能价格比作为衡量服务质量的一种参数,利用价格的变化来达到动态调节系统资源分配的目的,提出并建立了一种带价格信号的网格监控服务性能模型.因为网格环境的不可靠性,所以讨论系统可用...
- 刘显明李师贤
- 关键词：随机PETRI网价格信号网格计算性能价格比
- 一种价格时间Petri网的状态空间计算被引量：4
- 2006年
- 价格时间Petri网是对web服务过程和工作流模型等进行时间和成本分析的一种新工具.而价格时间自动机则是一种相对成熟的工具.提出一种状态空间计算方法,可以将价格时间Petri网的状态空间构造为一个价格时间自动机.该方法的核心思想是在扩展状态类中增加价格参数.进一步证明了构造出的价格时间自动机和初始的价格时间Petri网是双相似的.
- 刘显明李师贤李文军潘理
- 扩展时间戳状态类
- 2005年
- 状态类方法是时间Petri进行可达性分析的主要方法.提出扩展时间戳状态类方法,该方法通过扩展变迁的同步使能信息到时间戳状态类, 解决了时间戳状态类方法中同步使能变迁的可实施性问题.最后以一个典型生产系统为例展示扩展时间戳状态类方法的应用.
- 潘理李文军刘显明
- 关键词：时间PETRI网
- 扩展时间戳状态类
- 状态类方法是时间Petri进行可达性分析的主要方法.提出扩展时间戳状态类方法,该方法通过扩展变迁的同步使能信息到时间戳状态类,解决了时间戳状态类方法中同步使能变迁的可实施性问题.最后以一个典型生产系统为例展示扩展时间戳状...
- 潘理李文军刘显明
- 关键词：时间PETRI网
- 文献传递
