位置:成果数据库 > 期刊 > 期刊详情页
基于T-不变量消除的Petri网合法变迁引发序列判定算法
  • 期刊名称:于枫*,罗军舟,李伟,基于T-不变量消除的Petri网合法变迁引发序列判定算法,解放军理工大学学报,
  • 时间:0
  • 相关项目:大规模网络分布式管理模型的形式化描述、分析与评价
同期刊论文项目
同项目期刊论文