<?xml version = '1.0' encoding = 'ISO-8859-1' ?>
<Metamodel>
  <Package name = 'Automatoon'>
    <Class name = 'FiniteAutomaton' isAbstract = 'false' supertypes = ''>
      <Attribute name = 'alphabet' lower = '0' upper = '-1' isOrdered = 'false' isUnique = 'false' type = 'PrimitiveTypes::String'/>
      <Reference name = 'transitionSet' lower = '0' upper = '-1' isOrdered = 'false' isContainer = 'false' type = 'Automatoon::Transition' opposite = ''/>
      <Reference name = 'initialState' lower = '1' upper = '1' isOrdered = 'false' isContainer = 'false' type = 'Automatoon::State' opposite = ''/>
      <Reference name = 'finalStateSet' lower = '1' upper = '-1' isOrdered = 'false' isContainer = 'false' type = 'Automatoon::State' opposite = ''/>
      <Reference name = 'StateSet' lower = '0' upper = '-1' isOrdered = 'false' isContainer = 'false' type = 'Automatoon::State' opposite = ''/>
    </Class>
    <Class name = 'Transition' isAbstract = 'false' supertypes = ''>
      <Attribute name = 'letter' lower = '1' upper = '1' isOrdered = 'false' isUnique = 'false' type = 'PrimitiveTypes::String'/>
      <Reference name = 'source' lower = '1' upper = '1' isOrdered = 'false' isContainer = 'false' type = 'Automatoon::State' opposite = ''/>
      <Reference name = 'target' lower = '1' upper = '1' isOrdered = 'false' isContainer = 'false' type = 'Automatoon::State' opposite = ''/>
    </Class>
    <Class name = 'State' isAbstract = 'false' supertypes = ''>
      <Attribute name = 'name' lower = '1' upper = '1' isOrdered = 'false' isUnique = 'false' type = 'PrimitiveTypes::String'/>
      <Reference name = 'combination' lower = '1' upper = '1' isOrdered = 'false' isContainer = 'false' type = 'Automatoon::State' opposite = ''/>
    </Class>
  </Package>
  <Package name = 'PrimitiveTypes'>
    <DataType name = 'String'/>
    <DataType name = 'Integer'/>
  </Package>
</Metamodel>
