...
机译:具有时间Petri网的顺序函数图的形式化建模
Department of Computer Science, University of Illinois, Chicago,;
机译:基于随机定时培养网模型的急诊部人员正式分析
机译:使用定时有色Petri网的基于形式模型的定量安全性分析
机译:WMN定时彩色Petri网的随机航点移动性模型的形式化和可执行性规范
机译:通过Petri网和顺序功能图表的逻辑控制功能的模块化设计
机译:高级Petri网的形式化建模和分析技术。
机译:基于Petri网和时间序列模型的基于本体的服务组合的可靠性预测
机译:使用定时弧petri网的实时多agent系统的形式化规范和验证