Using Net Patterns to Simplify the Application of Graph Transformation Rules
Abstract
P/T-Systems and related languages are a good technique for modeling dis- tributed executable processes. Reconguration Rules for P/T-Systems can be used to change their structure. This is useful for modeling processes that can change during their execution. This constellation is called a Recongurable P/T- System [1]. The task of modeling such a system requires the designer to consider all possible applications of the Reconguration Rules. Depending on the size of the system to be modeled, this task can be very complex. This paper proposes a structural restriction of the P/T-System by introduc- ing Net-Patterns. The purpose of these patterns is to simplify the complicated task of rule application and enable the designer to concentrate on the modeling process.