Example
Example: Processing of complaints
Initial marking [i] corresponding to the fact
that a new complaint has been received
Task ‘register’, AND-split:
- form ‘send’ to the complainant
and - evaluation to process (DO)
Transitions DO and DONT form
If the form is received in tile (REC)
the complaint is processed
If not (TIMEOUT) the form is not
After, the processing (PROCESS) a check is done, process correct(DONE),