A method for the conception of control systems for electromechanical processes using Petri nets

A method is proposed for the conception of control systems for electromechanical processes. It is concerned with hybrid (with discrete events and continuous phenomena), rapid processes destined for heterogeneous machines. It is decomposed in eight steps covering a large part of the software life cycle: requirements; description of the functions; translation of the functions into Petri nets; data flow drawing; global description of the application by synchronization between the various Petri nets; introduction of the external events (interpreted Petri nets); decomposition in functional blocks; and implementation.<>