PetriCode

Code Generator for Colored Petri Nets Annotated With Pragmatics

Download Download PetriCode on GitHub
Examples Screens Documentation Downloads Publications

PetriCode examples

Simple Framing Protocol

  • CPN model
  • Code
  • Walk-through
  • Zip-file including binaries, the model and how to produce and generate the code.
Scroll to top tarzipsource code