Petri网的活性反映被模拟系统良好的行为特性,Petri网的活性判定问题是特殊网论中富有挑战性的难题。本课题拟从网结构入手,运用代数分析方法,结合Petri网进程和Petri往语言理论,彻底解决此判断问题。这对于系统性能分析和具有良好行为特性的系统设计,都具有很大的意义。因此,本课题既有理论价值,又有较大的应用前景。
{{i.achievement_title}}
数据更新时间:2023-05-31
一种基于多层设计空间缩减策略的近似高维优化方法
氧化应激与自噬
血管内皮细胞线粒体动力学相关功能与心血管疾病关系的研究进展
栀子苷对RAW264.7细胞胞饮和噬菌功能双向调节作用的初步观察
石墨烯基TiO2 复合材料的表征及其可见光催化活性研究
PETRI网的活性和公平性分析
基于Petri网的离散事件系统活性监控理论
Petri网代数
基于反射Petri网的基于服务的自适应软件系统流程一致性判定方法研究