Petri网中子网的分类与规范化研究

Taxonomy of Subnets in Petri Net and their Normalization

研究了Petri网中子网的外部环境、子网的接口、子网的边界等问题,给出了相关的定义;通过分析不同子网的特点,将子网分为T子网、P子网、TP子网和PT子网等不同类型;提出了接口标准化和子网规范化的思想。研究成果有助于基于子网的结构化设计方法的研究和推广。

The environment, interface and border of subnet were researched, corresponding definitions were given. On the analysis of the specialties of different subnets, they were classified into different types such as T-subnet, P-subnet, TP-subnet, PT-subnet and so on. The concept of interface standardization and subset normalization were present. The results help to the research of subnet based structural system designing and its corresponding application.