The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.11 - November (2003 vol.29)
pp: 962-973
Giuliana Franceschinis , IEEE Computer Society
ABSTRACT
<p><b>Abstract</b>—Generalized Stochastic Petri Nets (GSPN), with immediate transitions, are extensively used to model concurrent systems in a wide range of application domains, particularly including software and hardware aspects of computer systems, and their interactions. These models are typically used for system specification, logical and performance analysis, or automatic code generation. In order to keep modeling separate from the analysis and to gain in efficiency and robustness of the modeling process, the complete specification of the stochastic process underlying a model should be guaranteed at the net level, without requiring the generation and exploration of the state space. In this paper, we propose a net-level method that guides the modeler in the task of defining the priorities (and weights) of immediate transitions in a GSPN model, to deal with confusion and conflict problems. The application of this method ensures well-definition without reducing modeling flexibility or expressiveness.</p>
INDEX TERMS
Stochastic Petri nets, priorities, conflict, confusion, modeling methodology.
CITATION
Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro, "Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities", IEEE Transactions on Software Engineering, vol.29, no. 11, pp. 962-973, November 2003, doi:10.1109/TSE.2003.1245298
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool