2 <!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid/simgrid.dtd">
4 <process host="Tremblay" function="app.centralizedmutex.Coordinator">
5 <argument value="2"/> <!-- Amount of CS to serve -->
7 <process host="Jupiter" function="app.centralizedmutex.Node">
8 <argument value="2"/> <!-- initial sleep time -->
9 <argument value="5"/> <!-- CS time -->
11 <process host="Fafard" function="app.centralizedmutex.Node">
12 <argument value="2"/> <!-- initial sleep time -->
13 <argument value="5"/> <!-- CS time -->