GitHub - stylpe/Thesis: My Master's Thesis, titled Design and Evaluation of a Framework for Annotating Coloured Petri Net Models with Code Generation Pragmatics

Name		Name	Last commit message	Last commit date
Latest commit History 67 Commits
Reference		Reference
acpn		acpn
workspace		workspace
.gitignore		.gitignore
1 message then 1 ping.txt		1 message then 1 ping.txt
1 message.txt		1 message.txt
1 ping then 1 message.txt		1 ping then 1 message.txt
Client and Server.txt		Client and Server.txt
Connect and close.txt		Connect and close.txt
Connect only.txt		Connect only.txt
Declarations.txt		Declarations.txt
Long message.txt		Long message.txt
StateSpace.dot		StateSpace.dot
WebSocket SS.cpn		WebSocket SS.cpn
WebSocket old.cpn		WebSocket old.cpn
WebSocket.cpn		WebSocket.cpn
cpntools.dump		cpntools.dump
erdp.cpn		erdp.cpn
filename.dot		filename.dot
ping, text, close.txt		ping, text, close.txt
test.eps		test.eps
testreport.txt		testreport.txt
testreport2.txt		testreport2.txt
testreport3.txt		testreport3.txt
transitionbug.png		transitionbug.png