{"version":3,"sources":["coloredPetriNetsPlusPlusCompiler.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAiH,MAAM,oBAAoB,CAAC;AAgB7J,QAAA,MAAM,OAAO,+BA27CZ,CAAC;AAGF,OAAO,EACH,OAAO,EACV,CAAC","file":"coloredPetriNetsPlusPlusCompiler.d.ts","sourceRoot":"../src/"}