Skip to content

Struktur Und Analyse Von Free-choice-petrinetzen:

Best in textbook rentals since 2012!

ISBN-10: 3824420309

ISBN-13: 9783824420308

Edition: 1992

Authors: Jörg Desel

List price: $69.99
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:

Die statische Struktur eines markierten Petrinetzes ist durch das Netz selbst und die anfangliche Verteilung der Marken gegeben. Sein Verhalten wird durch die Menge seiner Ablaufe oder durch seinen Erreichbarkeitsgraphen beschrie­ ben. Struktur und Verhalten hiingen eng zusammenj so lassen sich dynamische Systemeigenschaften oft mit Hilfe struktureller Methoden wie Deadlocks oder S-Invarianten beweisen. Fur die Analyse eines markierten Petrinetzes auf dynamische Eigenschaften reichen strukturelle Methoden dagegen meist nicht aus. So sind die meisten dynamischen Eigenschaften -wie z.B. die Erreich-., barkeit einer gegebenen Markierung - zwar entscheidbar, doch haben diese…    
Customers also bought

Book details

List price: $69.99
Copyright year: 1992
Publisher: Springer-Verlag New York Inc
Binding: Paperback
Size: 6.11" wide x 9.26" long
Language: German