Conversion of Delay Time Petri net models into SCADE projects

Time Delay Petri nets provide solution for analyzing and modeling concurrent and distributed systems. The most frequent method used in controlling real time systems is the model based approach. The most difficult part in developing solutions for a critical system is to prove that the system works in accordance with the specified parameters and that it meets the imposed time requirements. This paper is presenting a certification method for critical systems described by Timed Petri Nets, using SCADE software. SCADE is a powerful tool that allows developers to build model using State Machine Notations, unlimited hierarchy and nesting of data flow. The Scade language is similar with Petri Nets language in a few points like: using states, the transition from one state to another, enabled timed conditions, but they have the same result.