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.Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
