Concurrent computing; Safety; Petri nets; Object oriented modeling; Complex systems; Analytical models; Accidents;
机译:福尔摩斯:基于Petri网模型的开发,仿真和分析的图形工具
机译:使用Petri网的实验室自动化系统的建模,分析,仿真和控制-分析和控制
机译:使用Petri网的实验室自动化系统的建模,分析,仿真和控制—分析和控制
机译:基于Petri网和州流模型的复杂系统并发安全仿真与分析
机译:使用轮廓/过渡网(PETRI网,规范,验证)对并发系统进行建模和分析
机译:勘误至:MONALISA用于生化系统Petri网模型的随机模拟
机译:复杂系统建模,分析与仿真的交互式petri网工具