Modeling hierarchical and recursive structures using parametric Petri nets

被引：0

作者：

Janneck, JW ^{[1
]}

Naedele, M ^{[1
]}

机构：

[1] Swiss Fed Inst Technol, Comp Engn & Networks Lab, TIK, CH-8092 Zurich, Switzerland

来源：

PROCEEDINGS OF THE HIGH PERFORMANCE COMPUTING SYMPOSIUM - HPC '99 | 1999年

关键词：

Petri nets; components; parameterization; dynamic structures;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In order to facilitate modeling of complex hierarchical and dynamically structured concurrent systems this paper proposes extending high-level Petri nets with parametric and dynamic net structures based on a Petri net component concept. It proceeds to show how to apply these techniques to non-trivial design problems while retaining generality and thus reusability of the resulting models. Furthermore, these structuring mechanisms facilitate the understanding of complex models and their component-based design as well as the application of modern software engineering concepts such as design patterns (Naedele and Janneck 1998) to Petri net based modeling.

引用

页码：445 / 452

页数：8