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)

2. Speculative task killing

Gtask_kill.xml (G-PMIF)

task_kill.xml (PMIF)

3. Join queues

GWLbalance.xml (G-PMIF)

WLbalance.xml (PMIF)

4. A video document scheduling model

GVideoStream.xml (G-PMIF)