fml/files/automaton.fml

@@ -11,8 +11,8 @@
         <child refName="finalState" minOccurs="0" maxOccurs="1" />
     </complexAttribute>
 
-    <leafAttribute name="initialState" />
-    <leafAttribute name="finalState" />
+    <leafAttribute name="initialState" defaultValue="false" />
+    <leafAttribute name="finalState" defaultValue="false" />
 
     <leafAttribute name="name" refType="state" />
     <leafAttribute name="label" refType="transition" />

fml/files/cat-example.fml

+<?xml version="1.0" encoding="UTF-8"?>
+
+<formalism name="Cat-Example"
+    xmlns="http://cosyverif.org/ns/formalism">
+
+    <leafAttribute name="name" defaultValue="" refType="Cat-Example" />
+    <leafAttribute name="author" defaultValue="" refType="Cat-Example"/>
+
+    <leafAttribute name="name"/>
+    <leafAttribute name="name" refType="cat" />
+    <leafAttribute name="name" refType="dog" />
+    <leafAttribute name="label" refType="arc" />
+    
+    <complexAttribute name="type" refType="dog" minOccurs="0" maxOccurs="1" >
+      <child refName="name" minOccurs="0" maxOccurs="1"/>
+    </complexAttribute>
+    <complexAttribute name="type" refType="cat" minOccurs="0" maxOccurs="1" >
+      <child refName="name" minOccurs="0" maxOccurs="1"/>
+    </complexAttribute>
+
+    <nodeType name="cat" />
+    <nodeType name="dog" />
+    <arcType name="arc" />
+
+    <svg width="140" height="115" xmlns="http://www.w3.org/2000/svg" refType="cat">
+      <g>
+        <title>Cat</title>
+        <path id="cat" d="m20,54c-8,-8 -8,-8 -14,-20c-2,-14 -2,-14 2,-30c20,6 20,6 32,22c28,-6 34,-6 60,0c12,-16 12,-16 32,-22c4,16 4,16 2,30c-6,12 -6,12 -14,20c0,0 0,0 0,0c10,40 -10,60 -50,60c-40,0 -60,-20 -50,-60m14,24l-29,-5m34,11l-30,2m27,5l-26,9m98,-24l28,-5m-32,11l30,1m-27,5l30,7" fill="white" stroke="black"/>
+      </g>
+    </svg>
+
+    <svg width="128" height="118" xmlns="http://www.w3.org/2000/svg" refType="dog">
+      <g>
+        <title>Dog</title>
+        <path id="dog" d="m14.27273,53c-8,-8 -6,-8 -11,-19c0,-10 1,-14 -1,-31c18,9 15,12 32,22c28,-6 34,-6 60,0c12,-12 17,-12 32,-22c0,19 -3,19 -3,32c-2,10 -2,9 -9,18c0,0 0,0 0,0c6,23 10,34 -2,46c-7,6 -7,6 -15,10c-22,11 -42,10 -64,0c-8,-5 -10,-5 -15,-10c-13,-13 -10,-20 -4,-46m51,22c-23,-1 -20,19 0,18c20,0 22,-19 0,-18m0,18l0,10c-7.737,4.925 -13.774,4.797 -23,1m44,0c-8.057,4.054 -13.066,3.925 -21,-1" fill="white" stroke="black"/>
+      </g>
+    </svg>
+
+</formalism>
\ No newline at end of file

fml/files/pt-net.fml

@@ -12,10 +12,10 @@
     <!-- Inherits from Petri Nets core -->
     <xi:include href="abstract_pncore.fml"/>
 
-    <arcType name="readarc"/>
+    <arcType name="readarc" start="none" type="normal" end="circle"/>
     <leafAttribute name="valuation" defaultValue="1" refType="readarc"/>
 
-    <arcType name="inhibitorarc"/>
+    <arcType name="inhibitorarc" start="none" type="normal" end="circleOpen"/>
     <leafAttribute name="valuation" defaultValue="1" refType="inhibitorarc"/>
 
     <!-- P/T nets objects attributes -->