<?xml version="1.0" encoding="UTF-8"?>
<uml:Package xmi:version="2.1" xmlns:xmi="http://schema.omg.org/spec/XMI/2.1" xmlns:uml="http://www.eclipse.org/uml2/3.0.0/UML" xmi:id="_AUqJYE5LEd-O198f3QWUFA">
  <elementImport xmi:id="_AVM78E5LEd-O198f3QWUFA">
    <importedElement xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
  </elementImport>
  <elementImport xmi:id="_AVM78U5LEd-O198f3QWUFA">
    <importedElement xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
  </elementImport>
  <elementImport xmi:id="_AVM78k5LEd-O198f3QWUFA">
    <importedElement xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#UnlimitedNatural"/>
  </elementImport>
  <elementImport xmi:id="_AVM7805LEd-O198f3QWUFA">
    <importedElement xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
  </elementImport>
  <packagedElement xmi:type="uml:Activity" xmi:id="_rzEfME5LEd-O198f3QWUFA" name="Stimmzettel verifizieren">
    <node xmi:type="uml:InitialNode" xmi:id="_gvScQFkNEd-DAJBTdBDLCg" outgoing="_mFR3QFkSEd-DAJBTdBDLCg"/>
    <node xmi:type="uml:ActivityFinalNode" xmi:id="_hVrG0FkNEd-DAJBTdBDLCg" incoming="_nqEq0FkSEd-DAJBTdBDLCg"/>
    <node xmi:type="uml:OpaqueAction" xmi:id="_iG9Z0FkNEd-DAJBTdBDLCg" name="Stimmzettel auf Fehleingaben überprüfen" outgoing="_m3pIUFkSEd-DAJBTdBDLCg" incoming="_mFR3QFkSEd-DAJBTdBDLCg"/>
    <node xmi:type="uml:OpaqueAction" xmi:id="_-9Hs0FkNEd-DAJBTdBDLCg" name="Stimmzettel auf Gültigkeit überprüfen" outgoing="_nqEq0FkSEd-DAJBTdBDLCg" incoming="_m3pIUFkSEd-DAJBTdBDLCg"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_mFR3QFkSEd-DAJBTdBDLCg" source="_gvScQFkNEd-DAJBTdBDLCg" target="_iG9Z0FkNEd-DAJBTdBDLCg"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_m3pIUFkSEd-DAJBTdBDLCg" source="_iG9Z0FkNEd-DAJBTdBDLCg" target="_-9Hs0FkNEd-DAJBTdBDLCg"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_nqEq0FkSEd-DAJBTdBDLCg" source="_-9Hs0FkNEd-DAJBTdBDLCg" target="_hVrG0FkNEd-DAJBTdBDLCg"/>
  </packagedElement>
</uml:Package>
