电脑体验，效果更佳

并发系统图谱-计算机领域：

研究人员

蔡强 陆维明 蒋昌俊 冯玉琳 郭端阳 张广泉 赵旭东 宋安华

相关术语

Petri网 柔性制造系统 模型 离散事件动态系统 Unity逻辑 安全性 软件开发方法 状态方程 线性时序逻辑 控制 面向对象模式 实时调度 同步合成 有色Petri网 测试 FSP 活动性 Petri网 反应系统 计算模型 LTS 混合系统 实时系统 活性 分布式系统 自动验证 形式化规约

上位概念

Petri网

标签云