王培良
- 作品数：14 被引量：88H指数：4
- 供职机构：山东科技大学理学院更多>>
- 发文基金：国家自然科学基金山东省自然科学基金煤炭科学基金更多>>
- 相关领域：自动化与计算机技术理学矿业工程自然科学总论更多>>
- 抽象并发(PN)机的理论研究
- 蒋昌俊吴哲辉许安国王培良阎春
- 建立了并发机理论体系，同自动机模型、Petri网模型、CSP和CCS相比，并发机模型不仅具有真并发特征，表达的信息更为广泛，而且在各层语言族上都能提供一个物理结构和行为机制集成统一的有限加标图模型，从而为并发系统提供一个...
- 关键词：
- 关键词：离散事件系统
- 公平网的活性分析（Ｉ）
- 王培良吴哲辉
- 关键词：计算机网络PETRI网
- 无界时延混合Petri网(UTHPN)的可覆盖性演变图及性质
- 时延混合Petri网(THPN)是由David最早提出的一类混合Petri网模型,而构造时延混合Petri网的演变图是对其性质进行分析的有效方法.赵义军等在文[1]中给出了有界时延混合Petri网的演变图构造方法及性质分...
- 赵义军王培良
- 关键词：动态性质
- 文献传递
- Petri网的并分解被引量：49
- 2001年
- 给出了Petri网的并分解的定义 ,并讨论了通过这种分解原网与子网在结构性质方面之间的关系 。
- 王培良赵义军叶志宝
- 关键词：PETRI网
- 最大速度恒定的连续Petri网(CCPN)的性质判定及分解
- 对最大速度恒定的连续Petri网(CCPN)的结构有界性、守恒性、公平性进行了定义,并给出了判定定理.进而定义了最大速度恒定的连续Petri网(CCPN)的两种分解,并证明了这两种分解保持网的一些结构性质。
- 王培良赵义军
- 关键词：连续PETRI网守恒性
- 文献传递
- 煤矿安全系统工程的模糊Petri网分析方法被引量：1
- 2002年
- 本文提出了煤矿安全系统工程的模糊Petri网分析方法。解决了求出导致顶上事件发生的最小割集和使顶上事件不发生的最小径集后 ,已知最小割集中每个基本事件发生的可信度可求出顶上事件发生的可信度 ,比较所求出的顶上事件可信度的大小能求出最危险的最小割集和路径。已知最小径集中每个基本事件不发生的可信度可求出顶上事件不发生的可信度 ,比较这些可信度的大小能求出最安全的最小径集和路径。因而对于煤矿各种系统中的事故可进行诊断和预测。
- 王培良赵义军曾庆田
- 关键词：模糊PETRI网
- Petri网在煤矿安全系统工程中的应用被引量：1
- 1992年
- 本文用Petri网模拟和分析煤矿事故,以煤炭自然发火为例,通过构造事故的Petri网,作出Petri网的可达标识图。分析可达标识图,可求出导致顶上事件发生的最小割集和控制事故发生的最小径集,为选择控制事故的最佳方案,提供了可靠的理论根据。此方法形象、直观,为煤矿安全系统工程及其它事故分析,开辟了一条新的途径。
- 王培良翟德元
- 关键词：PETRI网煤矿
- 无界公平Petri网的进程表达式被引量：22
- 2000年
- Ｐｅｔｒｉ网的进程表达式是以该网系统的基本子进程集为字母表的一个正规表达式．它用有限形式给出了网系统的所有（无限多个）进程的集合．作者于１９９５年给出了对任意给定的有界Ｐｅｔｒｉ网求其进程表达式的一个算法．这个算法对无界Ｐｅｔｒｉ网是不适用的，其原因在于子进程同构的概念在无界网系统中没有意义．对此，作者通过定义进程段行为等价的概念，导出了无界Ｐｅｔｒｉ网的进程表达式的一般形式，并借助无界公平网的特征可达树得出求给定无界公平网进程表达式的一个算法。
- 吴哲辉王培良赵茂先
- 关键词：PETRI网无界
- Petri网的公平分解和守恒分解
- 给出了Petri网的公平分解和守恒分解的定义,同时给出了Petri网达到公平分解和守恒分解的具体方法,并证明了这种分解方法保持了网的一些结构性质.
- 王培良赵义军
- 关键词：PETRI网
- 文献传递
- Petri网的公平分解和守恒分解被引量：6
- 2003年
- 给出了Petri网的公平分解和守恒分解的定义,同时给出了Petri网达到公平分解和守恒分解的具体方法,并证明了这种分解方法保持了网的一些结构性质。
- 王培良赵义军
- 关键词：PETRI网
