Petri网 计算机科学 可达性 随机Petri网 分布式计算 概率逻辑 任务（项目管理） 死锁 危害 还原（数学） 灵活性（工程） 操作员（生物学） 变量（数学） 流程架构（architecture） 模型检查 代表（政治） 理论计算机科学 异步（计算机编程） 控制器（灌溉） 异步通信 机器人 本体论 随机建模 死锁预防算法 人工智能 控制（管理） 并发 贝叶斯网络 计算理论 柔性制造系统 不确定度归约理论 知识表示与推理 随机控制 随机过程