Tweak GSPNAnalysis headers and allow a current Petri net
Add GSPN analysis to PIPE