property-preservation相关论文
基于Petri网技术及其共享位置（shared places），文章介绍了一种综合设计方法，该方法便于多种设计模型的重用，并且在一定条件下，每一步综合......
针对主体内部结构的建模问题，借助网过程的概念，提出了使用保性的Petri网运算方法来描述主体内部结构的方法，大大降低了多主体系统建......
