ALGEBRAISCHE TECHNIKEN FÜR DIE ANALYSE UND KONTROLLE VON NETZWERKEN PETRI-SCHALE FORTFAHREN.Autor:
JÚLVEZ BUENO JORGE EMILIO.
Jahr:
2004.
Universität:
ZARAGOZA [
www.unizar.es].
Ort der Lesung: CENTRO POLITÉCNICO SUPERIOR.
Ort der Vorbereitung: CENTRO POLITÉCNICO SUPERIOR.
Inhaltsangabe: Die Petri-Netze sind eine leistungsfähige Formalismus für die Modellierung und Analyse von konkurrierenden Systemen. Traditionell, Petri-Netze wurden in den Kontext von diskreten Systemen. Eines der größten Probleme, die in diskreten Systemen ist das bevölkerungsreichste Staat der Explosion: Die Zahl der Staaten in das System wächst exponentiell mit Bezug auf seine ursprüngliche Bevölkerung. Die fluidificación oder continuización ist ein klassisches Entspannung Technik, deren Ziel ist es, zu verhindern, dass die Entstehung dieses Problem. Diese Arbeit widmet sich der Untersuchung von Petri-Netzen weiter. In einer Petri-Netz kontinuierlichen Brennvorgang Übergänge beschränkt sich nicht auf die Menge der natürlichen Zahlen, sondern die wirklichen positiv. Damit der Staat markiert eine kontinuierliche Netzwerk wird durch ein Array mit reellen Zahlen. In Petri-Netze Fortführung der staatlichen Raum ist erreichbar konvex, die es ermöglicht, die Nutzung von linearen und nicht als Ganzes Techniken. Dies wirkt sich sehr positiv auf die Komplexität der Bestätigungs-Algorithmen. Leider Petri net fluidificada nicht immer bewahrt Eigenschaften des ursprünglichen diskreten Netzwerk. Zum Beispiel, die Lebhaftigkeit der diskreten Netzwerk ist noch nicht ausreichend, die für die Lebendigkeit des Netzes fluidificada. Diese und andere Unterschiede zwischen den einzelnen Netzen und deren fluidificadas deuten darauf hin, dass Petri-Netze erfordern eine kontinuierliche und konsequente unabhängige Studie. Dieses Dokument umfasst die beiden Netze nicht ständig als Zeitüberschreitung Zeitüberschreitung. Die wichtigsten Eigenschaften sind studierte in Netzwerken sind nicht zeitlich Erreichbarkeit und Lebendigkeit. Im Hinblick auf Netzwerke Zeitüberschreitung Themen untersucht werden im Zusammenhang mit Wachsamkeit, Beurteilung, observabilidad und Kontrollierbarkeit.
