~pyuppaal-developers/pyuppaal/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>// Place global declarations here.

</declaration><template><name x="5" y="5">Template</name><declaration>// Place local declarations here.

</declaration><location id="id0" x="16" y="-40"><urgent/></location><init ref="id0"/></template><system>// Place template instantiations here.

Process = Template();

 

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

system Process;</system></nta>