An innovative approach to operational validation process based on CPNs (Coloured Petri Nets)

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. Nomenclature CPN= Colored Petri Nets ECSS = European Cooperation for Space Standardization ILS = Integrated Logistics Support P/T = Place / Transition