org.processmining.exporting.transitionsystem
Classes 
TS2Petrify
TSWriter