Abstract :
Abstract concepts and complex methods can usually be understood more easily if some grapho-analytical techniques are used. Real-time systems (RTSs) include a wide variety of concepts, such as concurrency, parallelism and synchronization, and methods for specification, design, verification, implementation, etc., that have to be connected together. For this reason, the use of Petri nets is proposed in this paper as a link between graphical representation and analytical methods, in order to give some tools for achieving the software life-cycle
Keywords :
Petri nets; computer science education; concurrency theory; educational courses; formal specification; formal verification; parallel processing; real-time systems; synchronisation; systems analysis; teaching; Petri nets; abstract concepts; analytical methods; complex methods; concurrency; educational course; graphical representation; grapho-analytical techniques; parallelism; real-time systems; software life-cycle; specification; synchronization; systems design; systems implementation; teaching; verification; Automation; Concurrent computing; Cooling; Education; Hardware; Life testing; Petri nets; Real time systems; Software debugging; Software maintenance;
