A. Gupta, Chat Sever using WebSocket in GlassFish 4

J. Billington, G. E. Gallasch, and B. Han, A Coloured Petri Net Approach to Protocol Verification, Lectures on Concurrency and Petri Nets, pp.210-290, 2004.
DOI : 10.1007/978-3-540-27755-2_6

M. Brumbulli and J. Fischer, SDL Code Generation for Network Simulators, Proc of SAM '10, pp.144-155, 2011.
DOI : 10.1007/978-3-642-21652-7_9

I. Fette and A. Melnikov, The websocket protocol, 2011.
DOI : 10.17487/rfc6455

J. Fischer, F. Kühnlenz, K. Ahrens, and I. Eveslage, Model-based Development of Self-organizing Earthquake Early Warning Systems, Proceedings of MATHMOD, 2009.

. Groovy, Project Web Site

K. Jensen, L. M. Kristensen, and L. Wells, Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems, International Journal on Software Tools for Technology Transfer, vol.2, issue.2, pp.3-4213, 2007.
DOI : 10.1007/s10009-007-0038-x

C. E. Killian, J. W. Anderson, R. Braud, R. Jhala, and A. Vahdat, Mace, ACM SIGPLAN Notices, vol.42, issue.6, pp.179-188, 2007.
DOI : 10.1145/1273442.1250755

L. M. Kristensen and K. I. Simonsen, Applications of Coloured Petri Nets for Functional Validation of Protocol Designs, Transactions on Petri Nets and Other Models of Concurrency VII, pp.56-115, 2013.
DOI : 10.1007/978-3-642-38143-0_3

L. M. Kristensen and M. Westergaard, Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept, Proc. of FMICS'10, pp.215-230, 2010.
DOI : 10.1007/978-1-4757-3143-9

O. Kummer, An Extensible Editor and Simulation Engine for Petri Nets: Renew, Proc. of ICATPN '04, pp.484-493, 2004.
DOI : 10.1007/978-3-540-27793-4_29

K. I. Simonsen, L. M. Kristensen, and E. Kindler, Generating Protocol Software from CPN Models Annotated with Pragmatics, Formal Methods: Foundations and Applications, pp.227-242, 2013.
DOI : 10.1007/978-3-642-41071-0_16

K. I. Simonsen, An Evaluation of Automated Code Generation with the Petri- Code Approach

K. I. Simonsen, B. Ws-fmds, F. Mokmasd, and O. , PetriCode: A Tool for Template-Based Code Generation from CPN Models, SEFM 2013 Collocated Workshops, pp.151-166, 2014.
DOI : 10.1007/978-3-319-05032-4_12

J. Tolvanen, MetaEdit+, Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications , OOPSLA '04, pp.39-40, 2004.
DOI : 10.1145/1028664.1028686