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