Chat Sever using WebSocket in GlassFish 4 ,
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
SDL Code Generation for Network Simulators, Proc of SAM '10, pp.144-155, 2011. ,
DOI : 10.1007/978-3-642-21652-7_9
The websocket protocol, 2011. ,
DOI : 10.17487/rfc6455
Model-based Development of Self-organizing Earthquake Early Warning Systems, Proceedings of MATHMOD, 2009. ,
Project Web Site ,
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
Mace, ACM SIGPLAN Notices, vol.42, issue.6, pp.179-188, 2007. ,
DOI : 10.1145/1273442.1250755
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
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
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
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
An Evaluation of Automated Code Generation with the Petri- Code Approach ,
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
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