G-PMIF

Generalised Performance Model Interchange Format  with Petri Net Building Blocs (pnml BBs)

G-PMIF – with RCAT Petri Net Building Blocs

Case Studies (G-PMIF & corresponding PMIF specification)

    1. Servers with breakdowns

Gser_break.xml (G-PMIF)

ser_break.xml (PMIF)

    1. Speculative task killing

Gtask_kill.xml (G-PMIF)

task_kill.xml (PMIF)

    1. Join queues

GWLbalance.xml (G-PMIF)

WLbalance.xml (PMIF)

    1. A video document scheduling model

GVideoStream.xml (G-PMIF)