Title :
Using communicating Petri nets to implement parallel computation in single-tasking operating systems
Author :
Bucci, G. ; Mattolini, R. ; Vicario, E.
Author_Institution :
Dipartmento Sistemi e Inf., Universita de Firenze, Florence, Italy
Abstract :
An extended Petri net model, referred to as communicating Petri nets, is used for the operational specification of distributed systems, within a software engineering tool. This specification language naturally involves a parallel computational model, largely fitting the characteristics of parallel systems. Nevertheless, it can be efficiently matched even on single-tasking systems by means of appropriate light-weight scheduling policies. A number of such scheduling policies is devised and assessed both with respect to their impact on the semantics of the run-time code and with respect to the execution overhead
Keywords :
Petri nets; operating systems (computers); parallel languages; software tools; specification languages; CASE tool; communicating Petri nets; distributed systems; execution overhead; extended Petri net model; operational specification; parallel computation; parallel systems; run-time code; scheduling policies; semantics; single-tasking operating systems; software engineering tool; specification language; Automatic programming; Computational modeling; Computer languages; Concurrent computing; Distributed computing; Operating systems; Petri nets; Processor scheduling; Runtime; Specification languages;
Conference_Titel :
Parallel and Distributed Processing, 1993. Proceedings. Euromicro Workshop on
Conference_Location :
Gran Canaria
Print_ISBN :
0-8186-3610-6
DOI :
10.1109/EMPDP.1993.336373
