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

Taxonomy of Subnets in Petri Net and their Normalization

作　　者：王志坚[1] 魏定国[1] 吴时霖[2] 

机构地区：[1]广东商学院信息学院,广州510320 [2]复旦大学计算机系,上海200433

出　　处：《计算机科学》2008年第6期131-134,167,共5页Computer Science

基　　金：国家自然科学基金(60503007);广东省自然科学基金(06300970)资助

摘　　要：研究了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.

关 键 词：子网 接口 标准化 规范子网 

分 类 号：TP393[自动化与计算机技术—计算机应用技术] TP311.1[自动化与计算机技术—计算机科学与技术]