Petri网的活性反映被模拟系统良好的行为特性,Petri网的活性判定问题是特殊网论中富有挑战性的难题。本课题拟从网结构入手,运用代数分析方法,结合Petri网进程和Petri往语言理论,彻底解决此判断问题。这对于系统性能分析和具有良好行为特性的系统设计,都具有很大的意义。因此,本课题既有理论价值,又有较大的应用前景。
{{i.achievement_title}}
数据更新时间:2023-05-31
宁南山区植被恢复模式对土壤主要酶活性、微生物多样性及土壤养分的影响
不同改良措施对第四纪红壤酶活性的影响
一种改进的多目标正余弦优化算法
内质网应激在抗肿瘤治疗中的作用及研究进展
一种加权距离连续K中心选址问题求解方法
PETRI网的活性和公平性分析
基于Petri网的离散事件系统活性监控理论
Petri网代数
基于反射Petri网的基于服务的自适应软件系统流程一致性判定方法研究