上一篇: 一种扩展了条件和概率信息的Petri网
下一篇: 一种用于类C语言环境的安全的类型化内存模型