Petri网图形的压缩存储与自动转换

机译：将带有定性令牌的彩色Petri网自动转换为带有定性令牌的彩色Petri网

机译：普通定时Petri网自动转换为Event-B以进行正式验证

机译：MSC图自动转换为Petri网

机译：多种代理协议的自动转换为彩色Petri网

机译：通过中间Petri网表示将动态编程问题自动转换为JAVA代码及其解决方案。

机译：基于ARX和Petri网的AC / DC微电网动态辨识的新策略

机译：使用有色Petri网构建聚结的隐马尔可夫模型：从人口统计指标到有效推断方法的自动转换

机译：将mpI程序自动转换为异步的图形驱动形式。

机译：程序，列车服务适应Petri网模型生成设备，列车威慑安排支持设备，列车服务适应Petri网模型生成方法和列车威慑安排支持方法

机译：基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器

机译：将高阶复杂几何图形从CAD模型自动转换为基于曲面的组合几何图形格式