PetriCode Screen-shots
PetriCode is a command-line code, so screen-shots does not make all that much sense, but a collection of screen-shots and and screen casts illustration the use of PetriCode and related tools will be published here.
Code Generator for Colored Petri Nets Annotated With Pragmatics
PetriCode is a command-line code, so screen-shots does not make all that much sense, but a collection of screen-shots and and screen casts illustration the use of PetriCode and related tools will be published here.