PetriCode examples Simple Framing Protocol CPN model Code Walk-through Zip-file including binaries, the model and how to produce and generate the code.