G-PMIF - with Petri Net Building Blocs (pnml BBs)



G-PMIF - with RCAT Petri Net Building Blocs



G-PMIF (1st version)

G-PMIF XML Schema

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)

March 2011
cllado@uib.cat