The script already test if we have a petri net or not.
right now the script only works if you execute it with argument --run and gives you, for each example, if it's a petri net or no.

To make it works again as it use to work with also the check for petri nets we just have to uncomment the last lines of the script
execute_test and line 247 from test_examples