...
机译:基于Petri网进行视频游戏建模和验证的正式方法
Fed Univ Jatai Dept Comp Sci BR 364 Km 195 3800 Jatai Go Brazil;
Univ Fed Uberlandia Fac Computat 2121 Jocio Naves de Avila Ave Uberlandia MG Brazil;
Petri nets; video games; WorkFlow net; state graph; soundness verification; simulation; CPN tools;
机译:一种模型驱动的工程方法,使用Petri网正式验证BPMN模型
机译:基于Petri网表示的嵌入式系统建模和形式验证
机译:基于规范语言和Petri网的协议建模与验证方法
机译:基于Petri网和模型检验的客车桥梁建模与验证形式化方法。
机译:基于组件的方法来验证和确认正式软件模型。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:基于Petri网表示的嵌入式系统建模和形式验证