Teaching real-time systems using Petri nets

Author

Letia, T.S. ; Gruita, C.

Author_Institution

Dept. of Autom., Tech. Univ. of Cluj-Napoca, Romania

fYear

1998

fDate

1998

Firstpage

49

Lastpage

56

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Real-Time Systems Education III, 1998. Proceedings

Conference_Location

Poznan

Print_ISBN

0-7695-0134-6

Type

conf

DOI

10.1109/RTSE.1998.766512

Filename

766512