Systementwurf mit Netzen
Häftad, Tyska, 2012
529 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- Utgivningsdatum2012-02-12
- Mått170 x 244 x 8 mm
- Vikt256 g
- FormatHäftad
- SpråkTyska
- SerieSpringer Compass
- Antal sidor126
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783642954580
Tillhör följande kategorier
- 1 Prinzipien des Systementwurfs mit Netzen.- 1.1 Ein Beispiel.- 1.2 Passive und aktive Komponenten.- 1.3 Der Übergang zu dynamischem Verhalten.- 1.4 Beziehungen zwischen Netzdarstellungen.- 2 Netze aus Bedingungen und Ereignissen.- 2.1 EinBeispiel.- 2.2 Grundbegriffe.- 2.3 Konflikte.- 2.4 Kontakte und ihre Vermeidung durch Komplementierung.- 2.5 Prozesse auf kontaktfreien Netzen aus Bedingungen und Ereignissen.- 2.6 Weitere Beispiele.- 3 Netze aus Stellen und Transitionen.- 3.1 EinBeispiel.- 3.2 Pfeilgewichte.- 3.3 Grundbegriffe.- 3.4 Kontakte und ihre Vermeidung durch Komplementierung.- 3.5 Weitere Beispiele.- 4 Netze mit individuellen Marken.- 4.1 Ein Beispiel für konstante Pfeilanschriften.- 4.2 Grundbegriffe für Netze mit individuellen Marken und konstanten Pfeilanschriften.- 4.3 Weitere Möglichkeiten für konstante Pfeilanschriften.- 4.4 Ein Beispiel für variable Pfeilanschriften.- 4.5 Grundbegriffe für Netze mit individuellen Marken und variablen Pfeilanschriften.- 4.6 Weitere Möglichkeiten für variable Pfeilanschriften.- 4.7 Netze mit individuellen Marken.- 5 Netze aus Kanälen und Instanzen.- 5.1 Beispiele.- 5.2 Grundbegriffe.- 5.3 Weitere Beispiele.- 6 Verfeinern und Einbetten.- 6.1 Verfeinern.- 6.2 Markentreues Verfeinern.- 6.3 Einbetten.- 7 Netze als Entwurfsmethode.- 7.1 Vorüberlegungen zum Entwurf rechnerintegrierter Systeme.- 7.2 EinBeispiel.- 7.3 Der Übergang zu anderen Netzmodellen.- 7.4 Erweiterungen des Beispiels.- Lösungen der Aufgaben.- Literaturhinweise.
Hoppa över listan









Mer från samma författare
Petri Nets: Central Models and Their Properties
Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg
Häftad
709 kr
Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986
Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg
Häftad
709 kr
Petri Net Technology for Communication-Based Systems
Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber
Häftad
689 kr
Hoppa över listan









Mer från samma serie
UNIX als Basis für Softwareentwicklung
Thomas Baggenstos, R. Marty, Barbara Mergler, Peter Schnorf
Häftad
539 kr