Timed Automata
Some sketches of timed automata:
<automaton id="automaton1" start="#node1">
<head>
<script type="text/javascript" src="..." />
<script type="text/javascript">...</script>
<data type="application/rdf+xml" src="..." />
<data type="application/rdf+xml">
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
<rdf:Description rdf:about="#automaton1"><!-- ... --></rdf:Description>
</rdf:RDF>
</data>
</head>
<body>
<clock id="clock1" name="t" />
<node id="node1" onenter="..." onexit="...">
<edge id="edge1" to="#node2" guard="t <= 10s" input="x" ontransition="function1(event);" assignment="t = 0" />
<edge id="edge2" to="#node3" guard="t > 10s" input="x" ontransition="function2(event);" assignment="t = 0" />
</node>
<!-- ... --->
</body>
</automaton>
<automaton id="automaton1" start="#node1">
<head>
<script type="text/javascript" src="..." />
<script type="text/javascript">...</script>
<data type="application/rdf+xml" src="..." />
<data type="application/rdf+xml">
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
<rdf:Description rdf:about="#automaton1"><!-- ... --></rdf:Description>
</rdf:RDF>
</data>
</head>
<body>
<clock id="clock1" name="t" />
<node id="node1" onenter="..." onexit="...">
<edge id="edge1" to="#node2" precondition="t <= 10s" input="x" ontransition="function1(event);" effect="t = 0" />
<edge id="edge2" to="#node3" precondition="t > 10s" input="x" ontransition="function2(event);" effect="t = 0" />
</node>
<!-- ... --->
</body>
</automaton>
<automaton id="automaton1" start="#node1">
<head>
<script type="text/javascript" src="..." />
<script type="text/javascript">...</script>
<data type="application/rdf+xml" src="..." />
<data type="application/rdf+xml">
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
<rdf:Description rdf:about="#automaton1"><!-- ... --></rdf:Description>
</rdf:RDF>
</data>
</head>
<body>
<clock id="clock1" name="t" />
<node id="node1" onenter="..." onexit="...">
<edge id="edge1" to="#node2" precondition="input == 'x' & t <= 10s" ontransition="function1(event);" effect="t = 0" />
<edge id="edge2" to="#node3" precondition="input == 'x' & t > 10s" ontransition="function2(event);" effect="t = 0" />
</node>
<!-- ... --->
</body>
</automaton>
<automaton id="automaton1" start="#node1" xmlns:ast="...">
<head>
<script type="text/javascript" src="..." />
<script type="text/javascript">...</script>
<data type="application/rdf+xml" src="..." />
<data type="application/rdf+xml">
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
<rdf:Description rdf:about="#automaton1"><!-- ... --></rdf:Description>
</rdf:RDF>
</data>
</head>
<body>
<clock id="clock1" />
<node id="node1">
<edge id="edge1" to="#node2">
<precondition>
<ast:and>
<ast:equal>
<ast:input />
<ast:constant ast:value="x" ast:type="xsd:string" />
</ast:equal>
<ast:lessthanorequal>
<ast:clock ast:ref="#clock1" />
<ast:constant ast:value="PT10S" ast:type="xsd:duration" />
</ast:lessthanorequal>
</ast:and>
</precondition>
<transition>
<invoke script="function1(event);" />
</transition>
<effect>
<ast:assign>
<ast:clock ast:ref="#clock1" />
<ast:constant ast:value="PT0S" ast:type="xsd:duration" />
</ast:assign>
</effect>
</edge>
</node>
<!-- ... -->
</body>
</automaton>
<automaton id="automaton1" start="#node1">
<head>
<script type="text/javascript" src="..." />
<script type="text/javascript">...</script>
<data type="application/rdf+xml" src="..." />
<data type="application/rdf+xml">
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
<rdf:Description rdf:about="#automaton1"><!-- ... --></rdf:Description>
</rdf:RDF>
</data>
</head>
<body>
<clock id="clock1" />
<node id="node1">
<edge id="edge1" to="#node2" onprecondition="function1(event);" ontransition="function2(event);" oneffect="function3(event);" />
<edge id="edge2" to="#node3" onprecondition="function4(event);" ontransition="function5(event);" oneffect="function6(event);" />
</node>
<!-- ... --->
</body>
</automaton>