<?xml version="1.0" encoding="iso-8859-1"?>
<!ENTITY % running.text   "#PCDATA">

<!ELEMENT Anleitung       (Maschinenmodell?, Text)>

<!ELEMENT Maschinenmodell (Zustand+)>
<!ELEMENT Zustand         (Übergang+)> 
<!ATTLIST Zustand 
   id     ID              #REQUIRED
>
<!ELEMENT Übergang        (Warnung?)>
<!ATTLIST Übergang 
   oper   NMTOKEN         #REQUIRED
   ziel   IDREF           #IMPLIED
>
<!ELEMENT Warnung         (%running.text;)>

<!ELEMENT Text            (Handlung*)>
<!ELEMENT Handlung        (Ziel, Warnhinweis*,
                          (Aufforderung, Zwischenzustand?)+,
                          Endzustand)>

<!ELEMENT Ziel            (%running.text;)>
<!ELEMENT Warnhinweis     (%running.text;)>
<!ATTLIST Warnhinweis 
   zust   IDREF           #IMPLIED
>
<!ELEMENT Aufforderung    (%running.text;)>
<!ATTLIST Aufforderung
   oper   NMTOKEN         #IMPLIED
>
<!ELEMENT Zwischenzustand (%running.text;)>
<!ELEMENT Endzustand      (%running.text;)>