Synthetic Portnet Generator

This Python tool synthetically generates portnets, a sub-class of Petri nets, that can be used to model software interfaces. The tool can be used to generate portnets represented in PNML format for testing and benchmarking of analysis and synthesis tools based on Petri nets. Three input parameters control the complexity of the generated portnets: 1) the number of inputs, 2) the number of outputs, and 3) the prevalence of non-determinism in the net.