Petri net for modelling the communication and interaction between the ...