Modelling Multithreaded Social Protocols with Coloured Petri Nets

Support for human-to-human interactions over a network is still insufficient, while important in the context of Web 2.0. Many works have to be done to provide both theoretical and practical knowledge to this field. The model of social protocols has been formerly presented as a model of human-to-human interactions. In this paper, an enhanced version of social protocols supporting multithreaded collaboration and based on coloured Petri nets is presented.