This paper deals with the definition of a general approach to the modeling and control specification of flexible manufacturing systems (FMS). The development and the analysis of complex FMS models can greatly benefit from the automatic synthesis of the complete models and the availability of a graphic tool to describe them in a concise way. The automatic synthesis helps the designer to succeed in the error-prone task of building complex Petri net models or sequential functional charts, while the graphic representation makes it easier to understand them. The paper puts together a trace-based formal specification method and a compositional Petri nets approach with predefined building blocks, leading to a unified framework whose goal is to cope with the complexity of the FMSs behaviors and constraints. The problem of logic controller specification is also considered introducing in the behavior description the interaction with the environment via input and output signals.

Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks / Chiacchio, Pasquale; Vittorini, Valeria; Basile, F.; Mazzocca, N.. - In: JOURNAL OF INTELLIGENT MANUFACTURING. - ISSN 0956-5515. - STAMPA. - 15:3(2004), pp. 351-371. [10.1023/B:JIMS.0000026573.94990.d5]

Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks

CHIACCHIO, PASQUALE;VITTORINI, VALERIA;N. MAZZOCCA
2004

Abstract

This paper deals with the definition of a general approach to the modeling and control specification of flexible manufacturing systems (FMS). The development and the analysis of complex FMS models can greatly benefit from the automatic synthesis of the complete models and the availability of a graphic tool to describe them in a concise way. The automatic synthesis helps the designer to succeed in the error-prone task of building complex Petri net models or sequential functional charts, while the graphic representation makes it easier to understand them. The paper puts together a trace-based formal specification method and a compositional Petri nets approach with predefined building blocks, leading to a unified framework whose goal is to cope with the complexity of the FMSs behaviors and constraints. The problem of logic controller specification is also considered introducing in the behavior description the interaction with the environment via input and output signals.
2004
Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks / Chiacchio, Pasquale; Vittorini, Valeria; Basile, F.; Mazzocca, N.. - In: JOURNAL OF INTELLIGENT MANUFACTURING. - ISSN 0956-5515. - STAMPA. - 15:3(2004), pp. 351-371. [10.1023/B:JIMS.0000026573.94990.d5]
File in questo prodotto:
File Dimensione Formato  
JIMS04.pdf

non disponibili

Tipologia: Documento in Post-print
Licenza: Accesso privato/ristretto
Dimensione 275 kB
Formato Adobe PDF
275 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/11588/201027
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 11
  • ???jsp.display-item.citation.isi??? ND
social impact