A graphical editor for the input-output place-transition petri net class
Ricardo Nunes, Lúıs Gomes, João Paulo Barros · 2007
This paper presents a set of under development tools associated with the FORDESIGN project, in particular an extension to the Petri nets graphical editor Snoopy. The project main purpose is to provide an adequate set of tools to be integrated within engineering development frameworks. The Snoopy graphical editor goal is to support editing capabilities to the input-output place-transition (IOPT) Petri net class models. These are targeted for the modelling of automation and embedded systems, where the Petri net markup language representation is extensively used.