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