An approach to design distributed CTI applications using Petri nets: an example of a call center | IEEE Conference Publication | IEEE Xplore