Constructing Petri Net Transducers with PNTooL

Abstract

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

Topics

  • Presentations referencing similar topics