Title :
Layering as means for structuring Petri nets
Author :
Dittrich, Gisbert
Author_Institution :
Fachbereich Inf., Dortmund Univ., Germany
Abstract :
In this paper we suggest to apply modelling with layers as an additional concept for structuring Petri system descriptions. After introducing the phenomena by an example the main task is to define how to get the whole Petri net description from the descriptions of aspects in subnets/subsystems (layers). The answer is given by defining the union of subnets and discussing the difficulties of defining the union of subsystems. Some remarks on how to apply these concepts are included
Keywords :
Petri nets; large-scale systems; modelling; Petri nets; layer structure; modelling; subnets; subsystems; Building materials; Context modeling; Electronic switching systems; Inhibitors; Petri nets;
Conference_Titel :
Systems, Man, and Cybernetics, 1996., IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
0-7803-3280-6
DOI :
10.1109/ICSMC.1996.565525