Modelling Multithreaded Social Protocols with Coloured Petri Nets.
Willy PicardPublished in: Virtual Enterprises and Collaborative Networks (2008)
Keyphrases
- coloured petri nets
- formal verification
- social interaction
- social media
- social networks
- multi user
- social issues
- social web
- database
- virtual communities
- social networking
- social networking sites
- multi party
- social relationships
- multi agent systems
- communication protocol
- linear hashing
- information retrieval
- neural network