吴哲辉
- 作品数：159 被引量：435H指数：14
- 供职机构：山东科技大学信息科学与工程学院更多>>
- 发文基金：国家自然科学基金山东省优秀中青年科学家科研奖励基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术理学电子电信交通运输工程更多>>
- Petri网的公平依赖关系被引量：2
- 2001年
- Petri网是对系统进行模拟与分析的有效工具。公平性是Petri网的重要性质之一,体现了系统中变迁在运行时紧密的相互依赖关系。然而在许多情况下,这种依赖关系是单向的,这些变迁也不处于公平关系。因此,在对一些实际系统进行模拟和分析时,清楚各个环节之间的相互依赖关系十分重要。通过对依赖关系的分析,我们可以清楚决定各个环节运行的条件。
- 韩莹洁吴哲辉孙永强
- 关键词：PETRI网关联矩阵
- 有界Petri网的活性和公平性的分析与实现被引量：87
- 1989年
- Petri网的活性和公平性分别反映了所模拟的分布式系统的无死锁性和无饥饿性。本文对有界Petri网的活性和公平性进行了分析:1)指出了有界Petri网的活性和公平性在其可达标识图中的表现;2)证明了对于一个结构有界的可重复网(并带有可重复的初始标识),如果在任意可达标识下,任意两个变迁节都不处于有效的冲突,则这个网一定是活的和公平的。 对于不活或不公平的带可重复标识的结构有界的可重复网,本文提出了几种实现活性和公平性的控制装置。
- 吴哲辉
- 关键词：PETRI网活性分布式系统
- 一类受控Petri网的反馈控制被引量：3
- 2002年
- 受控 Petri网是离散事件动态系统 ( DEDS)的一种控制理论模型 .通过模型来研究实现禁止状态避免的最大允许反馈控制是 DEDS控制理论中的一个重要课题 .文中对受控 Petri网的一个子类 (非受控变迁子集的外延子网为 TC网 )讨论控制综合问题 ,给出求这类受控网中实现禁止状态避免的最大允许反馈控制的一个算法 .
- 宋爱波吴哲辉董逸生
- 关键词：受控PETRI网反馈控制禁止状态离散事件动态系统
- 基于面向对象Petri网的组织间工作流建模被引量：4
- 2014年
- 工作流建模是工作流技术研究的基础,目前工作流建模多集中在组织内部业务流程建模方面,对于组织间工作流建模研究较少。提出一种用于组织间工作流建模的扩展的面向对象Petri网描述规则,并针对经济运行中常见的一种生产交易流程进行建模。得到单个对象和系统整体的面向对象Petri网模型,然后在此基础上进行系统结构活性和有界性分析。通过针对实际问题的建模验证,阐明了该规则的有效性和实用性。
- 杨磊吴哲辉吴振寰
- 关键词：工作流PETRI网面向对象死锁
- 基于颜色Petri网的TCP协议模拟和分析
- TCP协议是目前广泛使用的一种可靠的网络传输协议.TCP协议的分析和改进一直是研究的热点,由于协议的复杂性,协议的形式化描述是其中的难点.文章用颜色Petri网及其工具CPN/tool对简化的TCP协议进行建模和分析,对...
- 徐誉尹吴哲辉
- 关键词：TCP协议三次握手颜色PETRI网网络传输协议
- 文献传递
- 同步及共享合成操作对Petri网汇合性质的保持性被引量：1
- 2007年
- 若对于一个Petri网的任意两个可达标识,都存在一个标识是从这两个标识可达的,则称该Petri网具有汇合性质。汇合性质在研究Petri网的可达标识集及家态时具有重要的意义,并且重写系统的汇合性与Petri网的汇合性质具有紧密的联系,因此对Petri网汇合性质的研究就显得更加重要了。组合化设计思想是复杂系统建模的一种有效途径,Petri网的组合化研究也甚为人们重视,其中同步与共享合成操作是结构复杂Petri网系统分析的两种有效手段。我们首先分析了Petri网的汇合性质,然后分别讨论了同步合成与共享合成操作对汇合性质的保持问题,并得出了若干结论。
- 王鹏伟吴哲辉
- 关键词：PETRI网共享合成
- 改进的哲学家进餐问题无饥饿解的Petri网模型被引量：4
- 2007年
- 哲学家进餐问题是计算机科学中反映同步与并发的经典示例,活性与无饥饿是求解此问题的基本要求。基于两个许可卡轮转的策略,已经给出了一个无饥饿解的Petri网模型。此模型中可能出现两种情况:一个哲学家正在进餐时,另一张许可卡也轮转到他手中,但此卡只能在进餐后传下去;当两个相邻的哲学家都持有许可卡,并都希望进餐时,被竞争的那根筷子不能确定分配给谁。针对这两种情况,对原模型作了修改,提高了系统的效率。
- 刘关俊吴哲辉
- 关键词：哲学家进餐问题PETRI网
- 库所耦合网的T-不变量求解算法被引量：1
- 2007年
- 首先定义了库所耦合网及相关概念,其次揭示了库所耦合网N中各个分支网的T-不变量同N的T-不变量之间的关系,然后给出了一个库所耦合网的T-不变量求解算法,最后将该算法实现并给出初步实验数据,以说明所提算法比现有算法节省计算时间和存储空间。
- 岳昊吴哲辉
- 关键词：PETRI网不变量
- T-时延离散Petri网的运行原理及其性质被引量：6
- 2007年
- T-时延离散Petri网(TTDPN)常用来描述与时间有关的离散系统,因而研究其运行原理及性质是必要的。首先给出了变迁可激发的定义及激发规则,然后讨论了T-时延离散Petri网的运行原理和可达标识图的构造方法,最后给出了两个性质。
- 赵义军吴哲辉
- 关键词：可达标识图激发频率
- 公平网的活性判断被引量：1
- 2001年
- Petri网的活性判断一直是一个广为关心的问题。本文就公平网的活性进行了研究。指出如果一个公平网的有界子网是活的,那么该公平网是活的。并给出了一个公平网活的充分必要条件。
- 韩莹洁孙永强吴哲辉
- 关键词：PETRI网活性
