...
机译:使用SPIN模型检查器分析谓词过渡网的方法
School of Computing and Information Sciences Florida International University 11200 SW 8th Street, ECS 354, Miami, FL 33199, USA;
School of Computing and Information Sciences Florida International University 11200 SW 8th Street, ECS 354, Miami, FL 33199, USA;
Formal methods; high-level Petri nets; predicate transition nets; temporal logic; model checking; SPIN;
机译:使用预测/过渡网对多代理行为进行建模和分析
机译:基于微分谓词转移Petri网模型和证明树的混合系统建模
机译:谓词/过渡网对量子隐形传态与密集编码的建模与仿真
机译:混合谓词过渡网-一种建模和分析网络物理系统的正式方法
机译:用于人工智能机器人计划的谓词/转换网模型。
机译:定量体积微计算机断层扫描方法以分析基因工程小鼠模型中的肺肿瘤
机译:使用谓词/过渡网建模和分析多智能体行为
机译:具有谓词/转移网络的高速数据总线建模与分析