University of Hawai'i at Manoa;
机译:一种新的基于Petri网的功能块建模语言,可自动生成代码
机译:从高级Petri网自动生成代码以进行模型驱动的系统工程
机译:具有不可靠机器的连续流传输线的自动Petri网仿真模型生成
机译:基于互补平台Petri网的基于可编程控制器的制造系统故障检测模型的自动生成
机译:自动编程代码用结构化翻译模型进行说明
机译:BioNetSim:基于Petri网的建模工具用于模拟生化过程
机译:使用petri网模型自动生成资源分配控制解决方案使用petri网自动生成资源分配控制解决方案