Title :
A graphical editor for the input-output place-transition petri net class
Author :
Nunes, Ricardo ; Gomes, Luís ; Barros, João Paulo
Author_Institution :
Univ. Nova de Lisboa, Lisbon
Abstract :
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.
Keywords :
Petri nets; embedded systems; hypermedia markup languages; FORDESIGN project; Petri net markup language representation; Snoopy graphical editor; embedded systems; engineering development frameworks; input-output place-transition Petri net class; Analytical models; Animation; Automation; Embedded system; Markup languages; Petri nets; Signal analysis; Signal generators; Signal resolution; Unified modeling language;
Conference_Titel :
Emerging Technologies and Factory Automation, 2007. ETFA. IEEE Conference on
Conference_Location :
Patras
Print_ISBN :
978-1-4244-0825-2
Electronic_ISBN :
978-1-4244-0826-9
DOI :
10.1109/EFTA.2007.4416858
