随机Petri网分类、相关定义

- 随机Petri网分类、相关定义 - - 随机Petri网SPN - 同构MC的获得方法：求出SPN的可达图将每条弧上标注