Constructing Petri Net Transducers with PNTooL


This poster presents a tool for the modular construction of Petri net transducers by means of several composition operations as for example union, concatenation, closure, parallel and synchronous product and language composition. There are exports to PNML and several graphical output formats. For the implementation, we use the SNAKES framework, which is a… (More)

1 Figure or Table


  • Presentations referencing similar topics