编《用于目标机描述的元对象Petri网模型》
国家自然科学基金批准号：60573017
项目简介
…
阶段成果
基于普通对象Petri网模型的目标机描述
Ÿ 简介
…
Ÿ
软件
一个对象Petri网模拟器
下载
Ÿ
论文/技术报告
基于Petri
Net的目标机描述的初步研究，符文杰组内技术报告 下载
基于Petri
Net的目标机描述的初步研究，符文杰综合论文训练 下载
基于元对象Petri网模型的目标机描述
Ÿ 简介
…
Ÿ
软件
一个（基于Renew的）元对象Petri网模拟器 下载
详见网页：Renew with MetaObject Protocol
Ÿ
论文/技术报告
一种基于Renew的有色网元对象协议的设计与实现，齐大伟等，Workshop（Petri Nets
2008 and ACSD 2008）: CHINA 2008
& Protocol Specification and Verification ， 下载
基于Petri
Net的目标机描述的初步研究，齐大伟综合论文训练 下载
基于目标机描述的编译器后端构造
Ÿ 简介
…
Ÿ
软件
Ÿ
论文/技术报告
基于Petri网模型的低级并发程序验证技术
Ÿ 简介
…
Ÿ
软件
Ÿ
论文/技术报告
Built
By Wang Shengyuan
Last
Modified on