Combined use of finite state machines and Petri nets for modelling communicating processes