2021-09-18 16:44:10 +02:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
2021-09-21 15:55:18 +02:00
|
|
|
<gem-graph-model version="0.1">
|
2021-09-19 22:39:47 +02:00
|
|
|
|
2021-09-21 15:55:18 +02:00
|
|
|
<!-- Model identity informations -->
|
2021-09-18 16:44:10 +02:00
|
|
|
<identity>
|
2021-09-21 15:55:18 +02:00
|
|
|
<name>Modèle de test</name>
|
|
|
|
|
|
|
|
<owner>Gaston Lagaffe</owner>
|
|
|
|
|
|
|
|
<owner_id>2</owner_id>
|
|
|
|
|
2021-09-18 16:44:10 +02:00
|
|
|
<date>1629830000</date>
|
2021-09-21 15:55:18 +02:00
|
|
|
|
2021-09-18 16:44:10 +02:00
|
|
|
<version>1.0</version>
|
2021-09-19 22:39:47 +02:00
|
|
|
|
2021-10-17 16:27:28 +02:00
|
|
|
<ref id="texte" date="1629830000" author="Jean" lang="en">Ref</ref>
|
2021-09-21 15:55:18 +02:00
|
|
|
</identity>
|
2021-09-19 22:39:47 +02:00
|
|
|
|
2021-09-21 15:55:18 +02:00
|
|
|
<!-- Model parameters -->
|
|
|
|
<parameters id="texte" date="0" author="Gaston Lagaffe">
|
|
|
|
<simulation>
|
2021-09-21 21:13:51 +02:00
|
|
|
<max_thread>0</max_thread>
|
2021-10-17 16:33:20 +02:00
|
|
|
<max_cycles>9</max_cycles>
|
2021-09-19 22:39:47 +02:00
|
|
|
|
2021-09-21 15:55:18 +02:00
|
|
|
</simulation>
|
|
|
|
|
|
|
|
<space-param>
|
2021-09-21 21:13:51 +02:00
|
|
|
<dimension>1</dimension>
|
2021-10-17 16:33:20 +02:00
|
|
|
<size x="29" y="0" z="0"/>
|
|
|
|
<site_multiplicity>3</site_multiplicity>
|
2021-09-19 22:39:47 +02:00
|
|
|
|
2021-09-21 15:55:18 +02:00
|
|
|
</space-param>
|
2021-09-19 22:39:47 +02:00
|
|
|
|
2021-09-21 15:55:18 +02:00
|
|
|
</parameters>
|
2021-09-20 07:03:36 +02:00
|
|
|
|
2021-09-21 15:55:18 +02:00
|
|
|
<!-- Model objects definition -->
|
|
|
|
<objects id="texte" date="1629830000" author="Jean Sirmai">
|
|
|
|
<object id="dimer 1-1" date="1629830000" author="Jean Sirmai">
|
2021-09-20 07:03:36 +02:00
|
|
|
<arrow x="0" y="0" z="0" site="1" weight="1"/>
|
2021-10-17 16:33:20 +02:00
|
|
|
<arrow x="1" y="0" z="0" site="2" weight="1"/>
|
2021-09-20 07:03:36 +02:00
|
|
|
|
2021-09-21 15:55:18 +02:00
|
|
|
</object>
|
|
|
|
|
|
|
|
<object id="dimer 2-2" date="1629830000" author="Jean Sirmai">
|
2021-09-20 07:03:36 +02:00
|
|
|
<arrow x="0" y="0" z="0" site="1" weight="2"/>
|
2021-10-17 16:33:20 +02:00
|
|
|
<arrow x="1" y="0" z="0" site="2" weight="2"/>
|
2021-09-20 07:03:36 +02:00
|
|
|
|
2021-09-21 15:55:18 +02:00
|
|
|
</object>
|
|
|
|
|
|
|
|
<object id="dimer 3-3" date="1629830000" author="Jean Sirmai">
|
2021-09-20 07:03:36 +02:00
|
|
|
<arrow x="0" y="0" z="0" site="1" weight="3"/>
|
2021-10-17 16:33:20 +02:00
|
|
|
<arrow x="1" y="0" z="0" site="2" weight="3"/>
|
2021-09-20 07:03:36 +02:00
|
|
|
|
2021-09-21 15:55:18 +02:00
|
|
|
</object>
|
2021-09-20 07:03:36 +02:00
|
|
|
|
2021-09-18 19:50:06 +02:00
|
|
|
</objects>
|
2021-09-19 22:39:47 +02:00
|
|
|
|
2021-09-21 15:55:18 +02:00
|
|
|
<!-- Saved space description (initial space is sequence 0) -->
|
|
|
|
<savestates id="texte" date="1629830000" author="THE MATRIX">
|
|
|
|
<space id="initial" date="1629830000" author="Jean Sirmai" sequence="0">
|
|
|
|
<arrow x="0" y="0" z="0" site="1" weight="1"/>
|
2021-10-17 16:33:20 +02:00
|
|
|
<arrow x="1" y="0" z="0" site="2" weight="1"/>
|
2021-09-21 15:55:18 +02:00
|
|
|
|
|
|
|
<arrow x="10" y="0" z="0" site="1" weight="1"/>
|
2021-10-17 16:33:20 +02:00
|
|
|
<arrow x="11" y="0" z="0" site="2" weight="1"/>
|
2021-09-21 15:55:18 +02:00
|
|
|
|
|
|
|
<arrow x="20" y="0" z="0" site="1" weight="1"/>
|
2021-10-17 16:33:20 +02:00
|
|
|
<arrow x="21" y="0" z="0" site="2" weight="1"/>
|
2021-09-21 15:55:18 +02:00
|
|
|
|
|
|
|
</space>
|
|
|
|
|
|
|
|
</savestates>
|
|
|
|
|
|
|
|
<!-- Model transitions definition (rules) -->
|
2021-10-17 18:48:11 +02:00
|
|
|
<!-- As long as there is no client, transitions have to be edited by hand and should be written using a 'human-readable' format -->
|
2021-10-17 16:27:28 +02:00
|
|
|
<transitions id="texte" date="1629830000" author="Indécis">
|
|
|
|
|
|
|
|
<transition id="move_a_dimer_to_east" date="1629830001" author="Alice" parent="root"
|
2021-09-21 15:55:18 +02:00
|
|
|
probability="1">
|
2021-10-17 16:27:28 +02:00
|
|
|
<quote id="texte" date="1629830000" author="Alice" lang="en"> Moves a dimer to east. </quote>
|
2021-09-21 15:55:18 +02:00
|
|
|
|
|
|
|
<if>
|
|
|
|
<arrow x="0" y="0" z="0" site="1" weight="1"/>
|
2021-10-17 16:27:28 +02:00
|
|
|
<arrow x="1" y="0" z="0" site="2" weight="1"> <quote lang="en">A dimer is identified at coords (0,1)</quote></arrow>
|
|
|
|
<arrow x="2" y="0" z="0" site="1" weight="0"> <quote lang="en">The east location next this dimer is empty </quote></arrow>
|
2021-09-21 15:55:18 +02:00
|
|
|
</if>
|
2021-09-20 07:03:36 +02:00
|
|
|
|
2021-10-17 16:27:28 +02:00
|
|
|
<then> <quote lang="en">Therefore I can (and I want to) move it to its next east location </quote>
|
2021-09-21 15:55:18 +02:00
|
|
|
<arrow x="0" y="0" z="0" site="1" weight="0"/>
|
2021-10-17 16:27:28 +02:00
|
|
|
<arrow x="1" y="0" z="0" site="2" weight="0"> <quote lang="en">The identified dimer no more exists ( :-(( </quote></arrow>
|
2021-09-21 15:55:18 +02:00
|
|
|
<arrow x="1" y="0" z="0" site="1" weight="1"/>
|
2021-10-17 16:27:28 +02:00
|
|
|
<arrow x="2" y="0" z="0" site="2" weight="1"> <quote lang="en">Happily, it is now rebuilt at its east location ( ;-)) </quote></arrow>
|
|
|
|
</then>
|
2021-09-20 11:25:27 +02:00
|
|
|
|
2021-10-17 16:27:28 +02:00
|
|
|
</transition>
|
2021-09-20 11:25:27 +02:00
|
|
|
|
2021-10-17 16:27:28 +02:00
|
|
|
<transition id="move_a_dimer_to_west" date="1629830001" author="Bob" parent="root"
|
|
|
|
probability="1">
|
|
|
|
<quote id="texte" date="1629830000" author="Bob" lang="en"> Moves a dimer to west. </quote>
|
2021-09-20 11:25:27 +02:00
|
|
|
|
2021-10-17 16:27:28 +02:00
|
|
|
<if>
|
|
|
|
<arrow x= "0" y="0" z="0" site="1" weight="1"/>
|
|
|
|
<arrow x= "1" y="0" z="0" site="2" weight="1"> <quote lang="en">A dimer is identified at coords (0,1)</quote></arrow>
|
|
|
|
<arrow x="-1" y="0" z="0" site="2" weight="0"> <quote lang="en">The west location next this dimer is empty </quote></arrow>
|
|
|
|
</if>
|
2021-09-20 11:25:27 +02:00
|
|
|
|
2021-10-17 16:33:20 +02:00
|
|
|
<then> <quote lang="en">Therefore I can (and I want to) move it to its next west location </quote>
|
2021-10-17 16:27:28 +02:00
|
|
|
<arrow x= "0" y="0" z="0" site="1" weight="0"/>
|
|
|
|
<arrow x= "1" y="0" z="0" site="2" weight="0"> <quote lang="en">The identified dimer no more exists ( :-(( </quote></arrow>
|
|
|
|
<arrow x= "0" y="0" z="0" site="2" weight="1"/>
|
|
|
|
<arrow x="-1" y="0" z="0" site="1" weight="1"> <quote lang="en">Happily, it is now rebuilt at its west location ( ;-)) </quote></arrow>
|
2021-09-21 15:55:18 +02:00
|
|
|
</then>
|
2021-09-20 11:25:27 +02:00
|
|
|
|
2021-09-21 15:55:18 +02:00
|
|
|
</transition>
|
2021-09-20 11:25:27 +02:00
|
|
|
|
|
|
|
</transitions>
|
|
|
|
|
2021-09-18 16:44:10 +02:00
|
|
|
</gem-graph-model>
|