Abstract: We analyze the drawbacks of generally distributed time transition stochastic Petri nets (GDTT_SPN) in evaluating the performance of parallel systems, and propose a more general model, stochastic individual predicate/transition nets (SIPTN). SIPTN has higher modeling power and could provide more realistic models compared to GDTT_SPN, because in SIPTN the sojourn time distribution is determined not only by the transition, but also by the individuals. It is further proved that GDTT_SPN is a subset of SIPTN. As SIPTN introduces folding techniques from predicate/transition nets, SIPTN models have simpler and more intuitive graphic notations and accordingly higher usability, and thus are suitable for constructing simulation models for parallel systems.

Key words: Formal model, Parallel system, Performance analysis, Simulation, Stochastic Petri nets

Please provide your name, email address and a comment

Your Name: Affili: E-Mail Address:

Comment (Please comment in English):


Verification Code(click to change a pic):