Petrinetze, Lineare Algebra Und Lineare Programmierung: Analyse, Verifikation Und Korrektheitsbeweise Von Systemmodellen

Name: Petrinetze, Lineare Algebra Und Lineare Programmierung: Analyse, Verifikation Und Korrektheitsbeweise Von Systemmodellen
Price: 45.87 USD
Availability: InStock
ISBN: 9783815423127

ISBN-10: 3815423120

ISBN-13: 9783815423127

Edition: 1998

Authors: Jörg Desel

List price: $69.95

30 day, 100% satisfaction guarantee!

Marketplace

1 new & used from $45.87

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

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. So explodiert die Anzahl erreich barer Markierungen eines markierten Petrinetzes sowohl mit wachsender GröBe des Netzes als auch mit wachsender Zahl anfangs verteilter Marken. Eine di rekte Aufzählung aller erreichbarer Markierungen ist deshalb praktisch nicht möglich. Mit Hilfe von Gleichungs- und…

Book details

List price: $69.95
Copyright year: 1998
Publisher: Springer Verlag
Binding: Paperback
Language: German