ci/help/statHelp.txt.min
statCircuit(work) - advanced complexity estimates for the Circuit 'work'
statModel(work) - node and arc count for the model 'work' (all model types are supported)
statPetri(work) - advanced complexity estimates for the Petri net 'work'
statStg(work) - advanced complexity estimates for the STG 'work'