Eine Methode zum prozessmodellbasierten Entwurf von Steueralgorithmen fur parallele ereignisdiskrete Prozesse

摘要

Bei parallelen ereignisdiskreten Prozessen muss zwischen einem funktionsbedingten und einem zeitbedingten Nichtdeterminismus unterschieden werden. Der funktionsbedingte Nichtdeterminismus kann durch einen nichtdeterministischen Automaten beschrieben werden. Um dem zeitbedingten Nichtdeterminismus zu begegnen, sind in geeigneter Weise Warteoperationen einzufugen. Auf der Basis entsprechender systemtheoretischer Betrachtungen werden Rahmenbedingen fur die Modellbildung formuliert. Die Prozessablaufe werden durch Prozessnetze beschrieben, aus denen die Steueralgorithmen generiert werden. Die entwickelte Methode wird an einem Beispiel demonstriert.