This paper aims to bring the study carried out in the field of Operation Engineering to accomplish a pre-validation of operational products (mostly processes and procedures). Main objective is to allow the validation (pre-validation) of operational processes, as they are available during the phases of Requirement Analysis and Concept Development. Prevalidation is performed, through the use of Colored Petri Nets (CPN), in terms of correctness of input and output exchanged. Model has been designed and implemented at University of L’Aquila, Department of Industrial and Information Engineering and Economics (DIIIE), on a generic satellites ground control system (telemetry and remote control) by means of CPN Tools.

An innovative approach to operational validation process based on CPN (Colored Petri Nets)

PALUMBO, MARIO;
2014-01-01

Abstract

This paper aims to bring the study carried out in the field of Operation Engineering to accomplish a pre-validation of operational products (mostly processes and procedures). Main objective is to allow the validation (pre-validation) of operational processes, as they are available during the phases of Requirement Analysis and Concept Development. Prevalidation is performed, through the use of Colored Petri Nets (CPN), in terms of correctness of input and output exchanged. Model has been designed and implemented at University of L’Aquila, Department of Industrial and Information Engineering and Economics (DIIIE), on a generic satellites ground control system (telemetry and remote control) by means of CPN Tools.
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/11697/42150
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact