For Petri net markup languages see the Petri net folder.