节点文献
Petri网中子网的分类与规范化研究
Taxonomy of Subnets in Petri Net and their Normalization
【摘要】 研究了Petri网中子网的外部环境、子网的接口、子网的边界等问题,给出了相关的定义;通过分析不同子网的特点,将子网分为T子网、P子网、TP子网和PT子网等不同类型;提出了接口标准化和子网规范化的思想。研究成果有助于基于子网的结构化设计方法的研究和推广。
【Abstract】 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.
【基金】 国家自然科学基金(60503007);广东省自然科学基金(06300970)资助
- 【文献出处】 计算机科学 ,Computer Science , 编辑部邮箱 ,2008年06期
- 【分类号】TP301.1
- 【被引频次】1
- 【下载频次】65