Overview

Full Product Details

Author:   Wolfgang Reisig
Publisher:   Springer Fachmedien Wiesbaden
Imprint:   Vieweg+Teubner Verlag
Edition:   2010 ed.
Weight:   0.714kg
ISBN:  

9783834812902

ISBN 10:   3834812900
Pages:   248
Publication Date:   15 July 2010
Audience:   Professional and scholarly ,  Professional & Vocational
Replaced By:   9783834819352
Format:   Hardback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.
Language:   German

Table of Contents

Modellierungstechnik.- Ein Beispiel.- Die grundlegenden Konzepte.- Häufiger Spezialfall: Elementare Systemnetze.- Sequentielle und verteilte Abläufe.- Szenarienbasierte Systemnetze.- Zusätzliche Ausdrucksmittel für elementare Systemnetze.- Das Syntheseproblem.- Komposition von Netzen.- Analysemethoden.- Zustandseigenschaften.- Fallen und Co-Fallen elementarer Systemnetze.- Platzinvarianten elementarer Systemnetze.- Die Kombination von Fallen und Platzinvarianten elementarer Systemnetze.- Fallen und Platzinvarianten allgemeiner Systemnetze.- Markierungs- und Überdeckungsgraphen.- Erreichbarkeit in elementaren Systemnetzen.- Ablaufeigenschaften.- Analyse der Free-Choice-Netze.- Analyse der markierten Graphen.- Wohlgeformte Systemnetze.- Fallstudien.- Wechselseitiger Ausschluss.- Asynchrone Hardware.- Netzwerk-Algorithmen.- Schlussbetrachtungen.

Reviews

Author Information

Prof. Dr. Wolfgang Reisig, Humboldt-Universität zu Berlin

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions