ignore docs/api
improve exportation to boolean petri net