~opaal-developers/opaal/trunk

<?xml version="1.0" encoding="utf-8"?>

<!DOCTYPE nta PUBLIC '-//Uppaal Team//DTD Flat System 1.1//EN' 'http://www.it.uu.se/research/group/darts/uppaal/flat-1_1.dtd'>

<nta>

        <declaration>int x;

clock c;</declaration>

        <template>

                <name x="5" y="5">Template</name>

                <declaration>// Place local declarations here.

</declaration>

                <location id="id0" x="-72" y="168">

                </location>

                <location id="id1" x="16" y="-40">

                        <label kind="invariant" x="6" y="-25">x &lt;= 5 || c &lt;= 5</label>

                </location>

                <init ref="id1"/>

                <transition>

                        <source ref="id1"/>

                        <target ref="id0"/>

                        <label kind="guard" x="-88" y="34">c &gt;= 42</label>

                </transition>

        </template>

        <system>// Place template instantiations here.

Process = Template();

 

// List one or more processes to be composed into a system.

system Process;</system>

</nta>