2 <!DOCTYPE platform SYSTEM "https://simgrid.org/simgrid.dtd">
4 <!-- This shows how to use the start_time and kill_time attributes of <actors> -->
6 <platform version="4.1">
7 <actor host="node-0.simgrid.org" function="sleeper" />
8 <actor host="node-0.simgrid.org" function="sleeper" start_time="2" />
9 <actor host="node-1.simgrid.org" function="sleeper" kill_time="3" />
10 <actor host="node-2.simgrid.org" function="sleeper" start_time="4" kill_time="7" />