gem-graph-client/models/dimers random walk.xml

119 lines
4.0 KiB
XML
Raw Normal View History

<?xml version="1.0" encoding="UTF-8"?>
<gem-graph-model version="0.2.1">
2021-12-07 20:01:44 +01:00
2021-11-02 17:54:30 +01:00
<identity>
<name>Chrysalide</name>
2021-11-02 17:54:30 +01:00
<owner>Léontine qui patine</owner>
2021-11-02 17:54:30 +01:00
<owner_id>2</owner_id>
2021-12-05 17:44:05 +01:00
<date>1630000000</date>
2021-11-02 17:54:30 +01:00
<version>1.0</version>
2021-12-08 23:14:36 +01:00
<g_ref id="diff" date="1630000000" author="Léontine" lang="en">Qui ça ?'</g_ref>
2021-11-02 17:54:30 +01:00
</identity>
<parameters id="texte" date="0" author="Léontine qui trottine.">
2021-11-02 17:54:30 +01:00
<simulation>
<max_thread>0</max_thread>
<max_cycles>9</max_cycles>
</simulation>
<space-param>
<!-- loop_on_zero="true" anything moved before zero reenters at the end of space-->
<!-- loop_on_zero="false" anything moved before zero is lost-->
<!-- loop_on_max="true" anything moved beyond max reenters at the zero of space-->
<!-- loop_on_max="false" anything moved beyond max is lost-->
<dimension x="29"/>
2021-11-02 17:54:30 +01:00
<!-- Site_multiplicity = number of sites in a space unit. -->
<!-- Each site points towards a neighbouring space unit. -->
<!-- Several arrows can be stacked in the same site. -->
2021-11-02 17:54:30 +01:00
<site_multiplicity>3</site_multiplicity>
</space-param>
</parameters>
<!-- Model objects definition -->
2021-12-05 17:44:05 +01:00
<objects id="only dimers in this model" date="1630000000" author="inanimés,... âme ?">
<object id="a dimer" date="1630000000" author="Alphonse">
<arrow site="1" weight="1" x="0"/>
<arrow site="2" weight="1" x="1"/>
2021-11-02 17:54:30 +01:00
</object>
</objects>
<!-- Saved space description (initial space is sequence 0) -->
2021-12-08 23:14:36 +01:00
<states id="texte" date="1630000000" author="Here, states are spaces.">
<space id="initial" date="1630000000" author="Une souris verte,">
<arrow site="1" weight="1" x="0"/>
<arrow site="2" weight="1" x="1"/>
<arrow site="1" weight="1" x="10"/>
<arrow site="2" weight="1" x="11"/>
<arrow site="1" weight="1" x="20"/>
<arrow site="2" weight="1" x="21"/>
2021-11-02 17:54:30 +01:00
<!-- Three dimers 1-1 are drawn in the global space
at locations (0,1) (10,11) and (20,21) -->
2021-12-08 23:14:36 +01:00
</space>
2021-11-02 17:54:30 +01:00
2021-12-08 23:14:36 +01:00
</states>
2021-11-02 17:54:30 +01:00
<!-- Model transitions definition (rules) -->
<!-- In this version : <xs:sequence minOccurs="0" maxOccurs="unbounded">-->
<!-- Transitions should be edited by hand and written in a 'human-readable' format -->
2021-12-05 17:44:05 +01:00
<conditions id="random walk of dimers" date="1630000000" author="Zazard le lézard !">
2021-11-02 17:54:30 +01:00
<condition site="1" weight="1" node_id="1" parent="0" x="0"/>
<condition site="2" weight="1" node_id="2" parent="1" x="1"/>
2021-12-05 17:44:05 +01:00
<!-- as soon as conditions 1 and 2 are satisfied, a dimer is identified at atation (0,1). -->
2021-11-02 17:54:30 +01:00
<condition site="1" weight="0" node_id="3" parent="2" x="2"/>
2021-11-02 17:54:30 +01:00
<!-- as soon as condition 3 is satisfied,
2021-12-08 23:14:36 +01:00
the neighbouring space unhit to East of the dimer is empty
2021-11-02 17:54:30 +01:00
and the dimer identified by conditions (1,2) can be moved to East. -->
<condition site="2" weight="0" node_id="4" parent="2" x="-1"/>
2021-11-02 17:54:30 +01:00
<!-- as soon as condition 4 is satisfied,
the neighbouring space unit to West of the dimer is empty
and the dimer identified by conditions (1,2) can be moved to West. -->
</conditions>
<transitions>
2021-12-05 17:44:05 +01:00
<transition id="move_a_dimer_to_east" date="1630000000" author="Pas moi..."
2021-11-02 17:54:30 +01:00
parent="3" probability="1">
<arrow site="1" weight="0" x="0"/>
<arrow site="2" weight="0" x="1"/>
<arrow site="1" weight="1" x="1"/>
<arrow site="2" weight="1" x="2"/>
2021-11-02 17:54:30 +01:00
</transition>
2021-12-05 17:44:05 +01:00
<transition id="move_a_dimer_to_west" date="1630000000" author="Ni moi !"
2021-11-02 17:54:30 +01:00
parent="4" probability="1">
<arrow site="1" weight="0" x="0"/>
<arrow site="2" weight="0" x="1"/>
<arrow site="2" weight="1" x="0"/>
<arrow site="1" weight="1" x="1"/>
2021-11-02 17:54:30 +01:00
</transition>
</transitions>
</gem-graph-model>