This paper presents a software platform for the integration of discrete event systems tools that is being developed within the FP7 European project DISC "Distributed supervisory control of complex plants". The objective of this software platform is to integrate several tools dealing with Petri nets and automata. The purpose is twofold: first allow for a rigorous comparison of the methods and algorithms developed by the DISC project partners, second provide a packaged tool which would facilitate transfer of these techniques to the end users. The interchange format is compliant to the ISO standard Petri Net Markup Language PNML. The platform includes a series of plug-ins and adapters to manipulate/transform the different file formats supported by the platform.

A software platform for the integration of discrete event systems tools

CABASINO, MARIA PAOLA;GIUA, ALESSANDRO;SEATZU, CARLA;
2011-01-01

Abstract

This paper presents a software platform for the integration of discrete event systems tools that is being developed within the FP7 European project DISC "Distributed supervisory control of complex plants". The objective of this software platform is to integrate several tools dealing with Petri nets and automata. The purpose is twofold: first allow for a rigorous comparison of the methods and algorithms developed by the DISC project partners, second provide a packaged tool which would facilitate transfer of these techniques to the end users. The interchange format is compliant to the ISO standard Petri Net Markup Language PNML. The platform includes a series of plug-ins and adapters to manipulate/transform the different file formats supported by the platform.
2011
978-145771730-7
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11584/105152
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact