Die Nutzung der Forschung zu quadratischen Resten

Einige der Probleme bei der Simulation diskreter Ereignissysteme, insbesondere von Computersystemen, auf einem herkömmlichen Digitalrechner werden behandelt. Die Systeme werden als ein Netzwerk von miteinander verbundenen sequentiellen Prozessen beschrieben. Kurz werden die gängigen Techniken zur Handhabung solcher Simulationen überprüft, wenn gleichzeitige Ereignisse nicht auftreten, ignoriert werden können oder durch einfache Prioritätsregeln behandelt werden können. Anschließend wird das Problem der Behandlung gleichzeitiger Ereignisse in separaten Prozessen eingeführt. Eine Abstraktion dieses Problems wird entwickelt, die eine Lösung für die Mehrheit der häufig auftretenden Probleme zulässt. Die Technik findet entweder eine Methode zur Simulation der parallelen Ereignisse oder meldet, dass keine gefunden werden kann. In einigen der letztgenannten Fälle wird gezeigt, dass es möglich ist, eine Lösung zu finden, indem die der Lösungstechnik verfügbaren Informationen erweitert werden, aber in vielen Fällen wird die Technik rechnerisch untragbar, wenn die zusätzlichen Informationen bereitgestellt werden.