蒋树强
- 作品数：3 被引量：7H指数：1
- 供职机构：山东科技大学信息科学与工程学院计算机科学与技术系更多>>
- 发文基金：国家自然科学基金高等学校优秀青年教师教学科研奖励计划更多>>
- 相关领域：自动化与计算机技术更多>>
- Petri网中的广义公平关系被引量：7
- 2000年
- 在吴哲辉等提出的公平性和王培良等提出的弱公平性概念的基础上 ,提出了 Petri网中的广义公平关系 .同公平关系和弱公平关系比较起来 ,广义公平关系的概念更符合计算科学对公平性的传统理解 .文中讨论了存在准公平关系的可重复网结构 ,并在此基础上给出了菊花链式握手协议的一个 Petri网模型 .
- 宁华蒋树强吴哲辉
- 关键词：PETRI网
- 关于变迁系统合成的研究
- 该文讨论了变迁系统的乘运算和加运算,并对它们的性质进行了深入分析,得到它们合成点分离性质和边分离性质是保持的,由此得到基本变迁系统的合成是封闭的等结论;引进了网系统伪乘运算的概念,分析了它与变迁系统乘运算巧妙的对应关系;...
- 蒋树强
- 关键词：守恒性安全性
- 文献传递
- 标识部分集合二结构(LPS2S)的深重命名及其应用
- 2002年
- 文[4]对LPS2S与Petri网(EN系统或C/E)之间的联系做了深入分析.LPS2S与并发系统的联系,对于Petri网理论与变迁系统来说更是如此;此外二结构本身也有丰富的理论.我们知道,LPS2S是在标识部分二结构(LP2S)的基础上构造出来的,我们感兴趣的是lp2s经过域映射与重命名作用所得到的lps2s,即BREGV与REGV中的元开.本文提出的DLP2S与深重命名的概念能使我们更加深入地认识LPS2S.
- 蒋树强蒋昌俊张鹏
- 关键词：PETRI网
