Aufgabe 22

• Erstellen Sie ein AtomicDEVS-Modell für ein negativ getriggertes JK-Flipflop (vgl. kap3-2).
• Erstellen Sie einen Block, der beliebige vorgegebene binäre Signale erzeugt. Als Parameter habe er den Startzustand z0 und einen Vektor tVec von Zeiten, zu denen der Ausgangswert umspringt. Verwenden Sie ihn, um das JK-Flipflop damit zu testen.
• Erstellen Sie ein Schieberegister aus vier JK-Flipflops als CoupledDEVS-Modell und testen Sie es.