Fig. (22)
FSPN model of the case-study application.
