By Topic

Using communicating Petri nets to implement parallel computation in single-tasking operating systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
G. Bucci ; Dipartmento Sistemi e Inf., Universita de Firenze, Florence, Italy ; R. Mattolini ; E. Vicario

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

Published in:

Parallel and Distributed Processing, 1993. Proceedings. Euromicro Workshop on

Date of Conference:

27-29 Jan 1993