Free Choice Petri Nets

Valutazione media 4
( su 1 valutazioni fornite da GoodReads )
 
9780521465199: Free Choice Petri Nets

Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems, and a rich theory has developed around them. Petri nets are taught to undergraduates, and also used by industrial practitioners. This book focuses on a particular class of petri nets, free choice petri nets, which play a central role in the theory. The text is very clearly organised, with every notion carefully explained and every result proved. Clear exposition is given for place invariants, siphons, traps and many other important analysis techniques. The material is organised along the lines of a course book, and each chapter contains numerous exercises, making this book ideal for graduate students and research workers alike.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Descrizione del libro:

Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems. The text is very clearly organised, with every notion carefully explained and every result proved. Clear exposition is given for place invariants, siphons, traps and many other important analysis techniques.

Contenuti:

1. Introduction; 2. Analysis techniques for petri nets; 3. S-systems and T-systems; 4. Liveness in free choice; 5. The coverability theorems; 6. The rank theorem; 7. Reduction and synthesis; 8. Home markings; 9. Reachability and shortest sequences; 10. Generalizations; Index; List of symbols; List of main results.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Desel, Jorg; Esparza, Javier
Editore: Cambridge University Press (1995)
ISBN 10: 0521465192 ISBN 13: 9780521465199
Nuovi Rilegato Quantità: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 1995. Hardcover. Condizione libro: New. book. Codice libro della libreria 521465192

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 194,74
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi