当前位置：
首页
--
工业技术
--
自动化技术、计算机技术
--
计算技术、计算机技术
--
一般性问题
--
理论、方法
--
自动机理论
建筑物内行人流疏散动态演化博弈研究
关于极端同步自动机的一些研究
状态事件故障树的建模与分析方法研究
基于Petri网的离散事件系统建模与优化
基于Petri网的自动制造系统稳健监督控制器研究
Π演算对一般Petri网系统的表达
基于变迁优先权的时间Petri网的活性分析与控制器的设计
厦门港主航道VTS决策支持关键技术研究
LS~3PR网信标数目与网结构之间的关系研究
基于队列挖掘的业务流程时延预测方法与应用
混成自动机的基于场景的一致性测试
基于元胞自动机的网红粉丝量创新扩散研究
周期性Coven自动机的拓扑熵
基于Petri网行为紧密度的业务流程配置优化分析
基于Petri网行为轮廓的故障变化域定位方法研究
基于流程树的可配置业务流程片段合并方法
基于深度优先搜索的混成系统有界可达性分析
基于移动互联技术的同城货运业务流程再造研究
硅钢片数控横剪线的加工策略研究与实现
基于元胞自动机的复杂系统演化与涌现机理研究
工业互联数据的Petri网建模与分析
元胞自动机及其在电力系统源、荷空间规律分析中的应用
启发式过程日志修复技术
基于二叉决策图的Petri网可达集遍历和死锁研究
普通Petri网和S~3PR网的极小信标研究和软件开发
存在不可观事件的离散事件系统禁止状态控制问题研究
多层元胞自动机加密算法的研究与实现
广义可能线性时序逻辑的自动机方法
A烟草公司物流风险防控系统建模与仿真优化
基于模糊Petri网的并行推理算法研究
物流服务供应链仿真与利益分配研究
基于Petri网的BPM建模与分析
语义Petri网在电子政务中的应用研究
基于Petri网的物流中心库存系统建模研究
进程网的细化及语义等价研究
混成系统有界模型检验优化技术研究
基于Petri网配置的合并模型变化域分析方法研究
基于开放Petri网的带日志的流程模型的变化域分析
基于Petri网的带语义约束的流程模型一致性分析
基于Petri网模型合并的可配置业务流程变化域分析
进程网的仿真与可达图技术研究
基于Petri网的服务外包公共平台业务流程建模与仿真
基于有色Petri网的SLA信任协商机制研究
基于赋时有色Petri网离散制造过程控制系统建模与仿真研究
基于Petri网展开理论的离散事件系统活性控制器综合
基于元胞自动机模型的校园室内疏散建模与优化
两种类型的自动机的乘积
基于Petri网和基因表达式编程的作业车间调度研究
模糊树自动机的构造及最小化算法的研究
量子原胞自动机仿真理论研究与程序设计
上一页
[3]
[4]
[5]
[6]
[7]
下一页
