The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area.
Together with its companion volume "Lectures on Petri Nets II: Applications" this book is the actual reference for the area and addresses professionals, students, lecturers, and researchers who are
- interested in systems design and would like to learn to use Petri nets familiar with subareas of the theory or its applications and wish to view the whole area
- interested in learning about recent results presented within a unified framework
- planning to apply Petri nets in practical situations
- interested in the relationship of Petri nets to other models of concurrent systems.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informal introduction to petri nets.- Elementary net systems.- Place/transition Petri Nets.- Principles of high-level net theory.- Petri nets in performance analysis: An introduction.- Basic linear algebraic techniques for place/transition nets.- Linear algebraic and linear programming techniques for the analysis of place/transition net systems.- Decidability and complexity of Petri net problems — An introduction.- The state explosion problem.- Theory of regions.- Petri nets and other models of concurrency.- Distributed versions of linear time temporal logic: A trace perspective.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Da: Basi6 International, Irving, TX, U.S.A.
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEOCT25-242147
Quantità: 1 disponibili
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABBB-256534
Quantità: 1 disponibili
Da: California Books, Miami, FL, U.S.A.
Condizione: New. Codice articolo I-9783540653066
Quantità: Più di 20 disponibili
Da: Books Puddle, Woodside, NY, U.S.A.
Condizione: Used. pp. 708. Codice articolo 263112583
Quantità: 1 disponibili
Da: Majestic Books, Hounslow, Regno Unito
Condizione: Used. pp. 708 54:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Blue Cloth w/Jacket on White w/Gloss Lam. Codice articolo 5816664
Quantità: 1 disponibili
Da: Biblios, Frankfurt am main, HESSE, Germania
Condizione: Used. pp. 708. Codice articolo 183112589
Quantità: 1 disponibili
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. Together with its companion volume 'Lectures on Petri Nets II: Applications' this book is the actual reference for the area and addresses professionals, students, lecturers, and researchers who are - interested in systems design and would like to learn to use Petri nets familiar with subareas of the theory or its applications and wish to view the whole area - interested in learning about recent results presented within a unified framework - planning to apply Petri nets in practical situations- interested in the relationship of Petri nets to other models of concurrent systems. 704 pp. Englisch. Codice articolo 9783540653066
Quantità: 2 disponibili
Da: moluna, Greven, Germania
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Together with its companion volume Lectures on Petri Nets II: Applications this book is the ultimate reference for the area and addresses professionals, students, lecturers, and researchersTogether with its companion volume Lectures on Petri Nets . Codice articolo 4897164
Quantità: Più di 20 disponibili
Da: AHA-BUCH GmbH, Einbeck, Germania
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. Together with its companion volume 'Lectures on Petri Nets II: Applications' this book is the actual reference for the area and addresses professionals, students, lecturers, and researchers who are - interested in systems design and would like to learn to use Petri nets familiar with subareas of the theory or its applications and wish to view the whole area - interested in learning about recent results presented within a unified framework - planning to apply Petri nets in practical situations- interested in the relationship of Petri nets to other models of concurrent systems. Codice articolo 9783540653066
Quantità: 1 disponibili
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area.Together with its companion volume 'Lectures on Petri Nets II: Applications' this book is the actual reference for the area and addresses professionals, students, lecturers, and researchers who are interested in systems design and would like to learn to use Petri nets familiar with subareas of the theory or its applications and wish to view the whole area interested in learning about recent results presented within a unified framework planning to apply Petri nets in practical situations interested in the relationship of Petri nets to other models of concurrent systems.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 704 pp. Englisch. Codice articolo 9783540653066
Quantità: 1 disponibili