许安国
- 作品数:25 被引量:57H指数:5
- 供职机构:山东科技大学更多>>
- 发文基金:国家自然科学基金山东省自然科学基金更多>>
- 相关领域:自动化与计算机技术理学电子电信自然科学总论更多>>
- Petri网的S-补和T-补的几个性质被引量:1
- 1996年
- 本文基于Petri网的矩阵表示,通过矩阵的运算给出了网的S-补和T-补的矩阵形式公式。同时给出对逆网、对偶网的S-补和T-补的求解方法。
- 许安国蒋昌俊
- 关键词:PETRI网矩阵
- 数制转换器的增广Petri网模型被引量:2
- 1992年
- 本文给出数制转换器的增广Petri网模型,它可以将任意一个十进制的数比为a进制(a为正整数且1
- 许安国蒋昌俊
- 关键词:数制转换器转换器PETRI网
- 带标识加权T-图的化简被引量:1
- 1998年
- 本文首先给出带标识加权T-图的几种化简运算,然后证明在一定条件下,这几种运算能保持网的活性不变,从而为带标识加权T-图的分析和综合提供了有效途径。
- 许安国蒋昌俊
- 关键词:活性
- 多因素工程问题的Petri网方法
- 1991年
- 本文基于文献[1,2],将PW—网中的工期标量推广为多指标的矢量,将标量的大小比较推广为矢量的字典序比较。从而可运用Petri网方法对多因素的工程问题进行模拟和分析。
- 许安国蒋昌俊
- 关键词:PETRI网
- 利用Petri网方法求解二次同余式:ax2+bx+c≡0(modp, p≥3,素数)
- 2005年
- 首先给出判定a是奇素数模p的平方剩余的增广Petri网模型,然后给出求解二次同余式x2≡a(modp,p≥3,素数,(a,p)=1)的增广Petri网模型.同时给出这种类型增广Petri网的矩阵分析和状态方程,从而导出由EXN网的输入求其输出的算法.
- 许安国赵义军
- 关键词:增广PETRI网模型
- 抽象并发(PN)机的理论研究
- 蒋昌俊吴哲辉许安国王培良阎春
- 建立了并发机理论体系,同自动机模型、Petri网模型、CSP和CCS相比,并发机模型不仅具有真并发特征,表达的信息更为广泛,而且在各层语言族上都能提供一个物理结构和行为机制集成统一的有限加标图模型,从而为并发系统提供一个...
- 关键词:
- 关键词:离散事件系统
- P/T网的化简运算及其性质研究被引量:29
- 1997年
- 本文首先给出P/T网的几种化简运算,然后证明这几种运算对于网的结构性质不变,从而为P/T网的分析与综合提供了有效途径.
- 许安国蒋昌俊
- 关键词:PETRI网
- 无冲突可重复网极小活标识的配置
- 首先给出无冲突可重复网的定义,并证明无冲突可重复网是结构活的.然后将无冲突可重复网的极小活标识的配置化为强连通T_图极小活标识的配置.文[2]虽然给出T_图极小活标识的判断方法,但是对于一个比较复杂的T_图的极小活标识的...
- 许安国赵义军
- 关键词:PETRI网
- 结构有界Petri网的全局守恒性与分支守恒性
- 许安国蒋昌俊
- 关键词:计算机网络PETRI网
- 计算两个向量的数量积的增广Petri网模型
- 1993年
- 本文给出了计算两个向量的数量积的增广 Petri 网模型,然后给出了矩阵描述和状态方程分析,最后用计算工具加以验证。
- 许安国陈顺益
- 关键词:向量数量积PETRI网