Traffic-responsive signalling control through a modular/switching model represented via DTPN