Systementwurf mit Netzen

Häftad, Tyska, 2012

Av Wolfgang Reisig

549 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.

Mer från samma författare

Modeling in Systems Biology

Del 16

Modeling in Systems Biology

Ina Koch, Wolfgang Reisig, Falk Schreiber

1 409 kr

Modeling in Systems Biology

Del 16

Modeling in Systems Biology

Ina Koch, Wolfgang Reisig, Falk Schreiber

1 409 kr

Understanding the Digital World

Understanding the Digital World

Peter Fettke, Wolfgang Reisig

649 kr

Carl Adam Petri: Ideas, Personality, Impact

Carl Adam Petri: Ideas, Personality, Impact

Wolfgang Reisig, Grzegorz Rozenberg

639 kr

Petrinetze

Petrinetze

Wolfgang Reisig

749 kr

Petri Nets: Central Models and Their Properties

Del 254

Petri Nets: Central Models and Their Properties

Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg

729 kr

Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986

Del 255

Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986

Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg

729 kr

Petri Net Technology for Communication-Based Systems

Del 2472

Petri Net Technology for Communication-Based Systems

Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber

709 kr

Applications and Theory of Petri Nets 2004

Del 3099

Applications and Theory of Petri Nets 2004

Jordi Cortadella, Wolfgang Reisig

1 409 kr

Lectures on Concurrency and Petri Nets

Del 3098

Lectures on Concurrency and Petri Nets

Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg

1 409 kr

Du kanske också är intresserad av