当前位置：
首页
--
工业技术
--
自动化技术、计算机技术
--
计算技术、计算机技术
--
一般性问题
--
理论、方法
--
自动机理论
基于时间自动机的实时系统形式化建模与验证
扎龙湿地时空格局演变的细胞自动机模型研究
基于模糊Petri网的离散事件动态系统的建模与优化研究
基于医务人员行为的医疗服务系统模型及元胞自动机模拟研究
基于有色Petri网的工作流建模及向XPDL的转换
关于Petri网中同步距离计算的探讨
谓词逻辑推理中的Petri网应用
网格任务调度模型及算法的Petri网模型研究
混杂生产过程的混杂Petri网建模及分析技术研究
Petri网络径寻优
一类Petri网中基本信标的快速求解算法
基于词的计算的研究
格值自动机的代数性质与极小化算法
格值正则语言及其截集性质研究
基于Petri网结构分析的从属信标存在性研究
舰艇编队协同作战决策系统有色Petri网建模研究
基于π-演算的Petri网和密码协议的形式化分析
基于自动机的时间系统形式验证技术
基于Petri网的流程优化和重组的应用研究
关于模糊ω-自动机若干问题研究
模糊有限自动机及其最小化问题
基于Petri网的工作流建模与性质研究
基于等价类的非确定有穷自动机最小化方法的研究
有限自动机运算后的状态最小化
有限自动机的同步序列和UIO序列
关于二维170规则元胞自动机的研究
关于矩阵模型表示下有限自动机的讨论
复杂系统的元胞自动机方法研究
一类对象Petri网建模与验证方法研究
数据关联的时序有限自动机模型的建模方法研究
排队系统的Petri网建模与验证
NCOW系统中基于概率的赋时Petri网理论及分析
工作流模型性能分析与形式化验证：一种基于扩展Petri网的方法
面向Petri网的电子运送调度模型研究
基于Petri网的工作流建模及其在J2EE框架下的实现
受资源约束的工作流时间特性研究
初等元胞自动机的演化及模糊元胞自动机
Petri网活性判定方法的探讨
关于Petri网可重复向量及死锁的求解算法
基于扩展的高级Petri网建模及分析技术的研究
词计算的形式模型及模糊自动机的最小化算法
基于时间自动机若干新模型的研究
基于时间自动机的模型验证理论及应用研究
基于Petri网的工作流过程模型验证和性能评价方法的研究
一种基于元胞自动机的自调节的网络模型
元胞自动机生成的时间序列的复杂性研究
元胞自动机模型应用及模糊元胞自动机
元胞自动机在自然灾害预警和模拟方面的应用研究
几类格值自动机的关系及其语言的代数性质
同步格值自动机和同步格值有限自动机
上一页
[7]
[8]
[9]
[10]
[11]
下一页
