The modelling approach proposed in this paper has its origin in the structured occurrence nets [1] that are a Petri net-based model for the representation of the execution behavior of complex evolving systems. They are an extension of occurrence nets which represent the causality and concurrency information relating to a single system execution. In general, a structured occurrence net consists of several occurrence nets linked through different types of formal relationships. A particular formal model we are using in this paper are the communication structured occurrence nets (CSA-nets), which are generalisations of communication structured occurrence nets (a subclass of structured occurrence nets [1]), where individual acyclic nets are linked by buffer places capable of modelling both asynchronous and synchronous communication between different subsystems.
d f r2 : {p2} {b} r3 : {p3}
t2 r1 : {p1} {a} pp11::12 t1 structure of a system model does not need to be re-built each time it is run. Such an approach will allow the reuse of the model multiple times and increase comprehension and make larger systems under investigation easier to handle. Figure 1 illustrates the transition from the original CSA-nets to their parameterised versions.