+++ /dev/null
-<?xml version='1.0'?>
-<!DOCTYPE platform SYSTEM "https://simgrid.org/simgrid.dtd">
-<platform version="4.1">
- <actor host="Tremblay" function="app.centralizedmutex.Coordinator">
- <argument value="2"/> <!-- Amount of CS to serve -->
- </actor>
- <actor host="Jupiter" function="app.centralizedmutex.Node">
- <argument value="2"/> <!-- initial sleep time -->
- <argument value="5"/> <!-- CS time -->
- </actor>
- <actor host="Fafard" function="app.centralizedmutex.Node">
- <argument value="2"/> <!-- initial sleep time -->
- <argument value="5"/> <!-- CS time -->
- </actor>
-</platform>