期刊名称：International Journal of Computer Science Issues
印刷版ISSN：1694-0784
电子版ISSN：1694-0814
出版年度：2012
卷号：9
期号：5
出版社：IJCSI Press
摘要：In this paper we propose an algorithm called Interactive Group Synchronization to reduce the chance of audio speech overlapping in VoIP based conferencing. We also extend the capability of colored petri nets by introducing time parameter in it. The propose TCPN (Time Colored Petri Nets) tool is applied here to model the interactive group synchronization algorithm in teleteaching system and then verify and check the correctness of the model.
关键词：VoIP; Tele teaching; Synchronization; Algorithm; Modelling; Verification; Petri Nets.
