Skip to content

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

Best in textbook rentals since 2012!

ISBN-10: 3815423120

ISBN-13: 9783815423127

Edition: 1998

Authors: Jörg Desel

List price: $69.95
Shipping box This item qualifies for FREE shipping.
Blue ribbon 30 day, 100% satisfaction guarantee!
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
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…    
Customers also bought

Book details

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