• DocumentCode
    2574352
  • 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
  • fYear
    2007
  • fDate
    25-28 Sept. 2007
  • Firstpage
    788
  • Lastpage
    791
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/EFTA.2007.4416858
  • Filename
    4416858