Petri网代数
基本信息
结项摘要
本项目按原计划完成。主要成果包括；提出了Petri网的进程表达式，网的叠加运算，块笛积运算，Petri网的标注可达树等概念，有界Petri网与有限自动机的互化算法，求极小可重复向量算法；研究了Punping引理的 Petri网描述，加权T-图的保性化简；给出了Petri网的公平性、弱公平性及某些Petri网子类的活性、守恒性的代数判据以及同步距离计算公式；应用Petri网研究了离散事件系统，柔性制造系统，工程问题和0-1规划问题；研究了Petri网的结构活性并提出了冲突结构的相关性理论。正式发表学术论文26篇，多篇被英国《计算机与控制文摘》、俄罗斯《自动装置与计算技术》，国内刊物和论文作者摘录和引用。部份成果94年获山东省科技进步二等奖。
项目摘要
项目成果
{{i.achievement_title}}
{{i.achievement_title}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
Ordinal space projection learning via neighbor classes representation
Ordinal space projection learning via neighbor classes representation
基于纳米铝颗粒改性合成稳定的JP-10基纳米流体燃料
基于纳米铝颗粒改性合成稳定的JP-10基纳米流体燃料
Image super-resolution based on sparse coding with multi-class dictionaries
Image super-resolution based on sparse coding with multi-class dictionaries
Phosphorus-Induced Lipid Class Alteration Revealed by Lipidomic and Transcriptomic Profiling in Oleaginous Microalga Nannochloropsis sp. PJ12
Phosphorus-Induced Lipid Class Alteration Revealed by Lipidomic and Transcriptomic Profiling in Oleaginous Microalga Nannochloropsis sp. PJ12
Numerical investigation on aerodynamic performance of a bionics flapping wing
Numerical investigation on aerodynamic performance of a bionics flapping wing
吴哲辉的其他基金
相似国自然基金
基于Petri网和进程代数的复杂离散制造过程建模与性能评价方法研究
基于逻辑动态系统的代数状态空间理论的Petri 网系统建模及分析
Petri网论应用基础
Petri网的活性判定问题