Task scheduling modelling and reliability evaluation of grid services using coloured Petri nets
Future Generation Computer Systems
Hi-index | 0.00 |
This paper introduces a Coloured Petri Nets formalism-TCPN- which is suitable for modelling and simulation ofcomplex systems. Novel in TCPN is (i) a timing modelwhich accommodates both unordered and ordered (queue)places; (ii) the adoption of Java as the net inscriptionlanguage. TCPN is supported by a graphical tool -RAINBOW - which allows model design, testing andsimulation. A large TCPN model can be split into regions(subnets) whose execution is assigned to differentLP/processors of a networked simulator. Distributedsimulation relies on TUTW, an agent-based Time Warpalgorithm capable of exploiting temporal uncertainty forimproving simulation performance. The paper describesTCPN and its distributed execution kernel. The practicaluse of TCPN is demonstrated through an example andsome experimental results.