Title :
Overview of the results of the Esprit basic research action DEMON-design methods based on nets
Author_Institution :
Inst. fur Infg., Hildesheim Univ., Germany
Abstract :
Gives an overview of the results of the Esprit Basic Research Action No.3128 DEMON (Design Methods Based on Nets). First, the aims, the approach and the initial setup of the project are described. Without attempting to be complete, the paper then outlines many of the results obtained in the project. It ends with an indication of possible future work
Keywords :
Petri nets; parallel processing; research initiatives; DEMON; Design Methods Based on Nets; Esprit Basic Research Action No.3128; concurrent systems; Algebra; Bridges; Calculus; Carbon capture and storage; Computer languages; Concurrent computing; Design methodology; Fault tolerance; Interleaved codes; Testing;
Conference_Titel :
Petri Nets and Performance Models, 1991. PNPM91., Proceedings of the Fourth International Workshop on
Conference_Location :
Melbourne, Vic.
Print_ISBN :
0-8186-2285-7
DOI :
10.1109/PNPM.1991.238797
