Step 1: Requirements specification in terms of IC cards: Use decomposition rules and transformation rules to create a collection of IC cards. (Picnic is a purple card, which can be transformed into many cards)

Step 2: IC Interactions (Scenarios): We then specify the interactions between the IC cards (the scenarios). Result is a relational graph consisting of IC cards (the nodes) and their interactions (the arcs). In the relational graph, the sub-graphs are the patterns. (Picnic is a relational graph specifying the interactions between organize-meeting and other tasks such as PickDate and PickPlace)

Step 3: IC system: Transform the relational graph into IC system. In the IC system, the sub-systems are the patterns. Each sub-system can then be implemented as a component or a super-component.

Step 4: Modelling of IC system: The IC system can be modelled using Petri net. We can then analyze the interactions (the scenarios) by analyzing the behavior of marked Petri net.