1、 PetriCode lets users generate code from CPN models annotated with pragmatics ,PetriCode allows the user to difine code generation prgmatics and templates,However ,templates for the WebSite :http://kentis.github.io/petriCode/...
Before this I have leaned the CPN tools and Scyther tools， and security analysisi of the TLS protocol using these two fromal security analysis tools . I found that the CPN model can directly use PetriCode to generate execution code ..of couse
I used the the Java code on the GitHub to build a TLS implementation platform. so ,at present I want to use PetriCode to generate the CPN model .
To this end ,I use the CPN Tools to build a few simple logical models ,and then execute them in PetriCode. The specific steps are as foolws。
2、 the CPN models
the first model is "Add" and the second model is "MAC address" and the thrid model is "Cinderella"
3、let use the PetriCode to generate the code
4、 吃饭 。。。。
5、the last mode is TLS1.3
