
Free Choice Petri Nets
Jorg Desel, Javier Esparza, C. J. Van Rijsbergen
₹4,827

Analyse, Verifikation Und Korrektheitsbeweise Von Systemmodellen
by Jörg Desel
Free delivery. Nothing extra to pay at checkout.
Der Titel dieser Arbeit ist bereits ei ne kurze Inhaltsangabe. Es geht darum, die Matrixrepräsentation von Petrinetzen in Gleichungs- und Ungleichungs- systemen auszunutzen, urn Aussagen über das Verhalten eines Netzmodells gewinnen oder beweisen zu können. Die Motivation für die Verwendung linear-algebraischer Verfahren liegt in der Komplexität des Verhaltens von Petrinetzen.
Description supplied by the publisher.