By Topic

Stochastic Petri net evaluation techniques in plant automation: tuning performance indices for distributed applications

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
$31 $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)
Botti, O. ; Direzione Studi e Ricerche, Centro Ricerca di Automatica, Milan, Italy ; Capra, L. ; Bergomi, C.

We report the results of an investigation aiming at experimenting the use of Generalized Stochastic Petri Nets (GSPN), a formal method which allows to model a concurrent application with an explicit representation of timing constraints, and to evaluate its performance over a target parallel architecture. We focus on the definition and use of a set of indices suitable to characterise an application in terms of its performance and to support its mapping over a parallel architecture, guided by the training over a case study taken from the ENEL R&D activity in real time plant automation. The effort spent to extend and to bring a relatively consolidated theory (GSPN) near to the industrial user needs, may be seen as the first original contribution of the paper

Published in:

Real-Time Systems, 1995. Proceedings., Seventh Euromicro Workshop on

Date of Conference:

14-16 Jun 1995