Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Fynda 4 pocketböcker till priset av 3 →

Systementwurf mit Netzen

AvWolfgang Reisig

Häftad, Tyska, 2012

Del i serien Springer Compass

425 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

409 kr

Produktinformation

Utgivningsdatum:2012-02-12
Mått:170 x 244 x 8 mm
Vikt:256 g
Format:Häftad
Språk:Tyska
Serie:Springer Compass
Antal sidor:126
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783642954580

Utforska kategorier

Innehållsförteckning

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

Ina Koch, Wolfgang Reisig, Falk Schreiber - Modeling in Systems Biology, Häftad

Del 16

Modeling in Systems Biology

Ina Koch, Wolfgang Reisig, Falk Schreiber

Häftad, 2012

1 092 kr

Ina Koch, Wolfgang Reisig, Falk Schreiber - Modeling in Systems Biology, Inbunden

Del 16

Modeling in Systems Biology

Ina Koch, Wolfgang Reisig, Falk Schreiber

Inbunden, 2010

1 091 kr

Falk Schreiber, Wolfgang Reisig, Ina Koch - Modeling in Systems Biology, E-bok

Modeling in Systems Biology

Falk Schreiber, Wolfgang Reisig, Ina Koch

E-bok

2010

1 367 kr

Peter Fettke, Wolfgang Reisig - Understanding the Digital World, Häftad

Understanding the Digital World

Peter Fettke, Wolfgang Reisig

Häftad, 2024

566 kr

Wolfgang Reisig, Peter Fettke - Understanding the Digital World, E-bok

Understanding the Digital World

Wolfgang Reisig, Peter Fettke

E-bok

2024

718 kr

Wolfgang Reisig, Grzegorz Rozenberg - Carl Adam Petri: Ideas, Personality, Impact, Inbunden

Carl Adam Petri: Ideas, Personality, Impact

Wolfgang Reisig, Grzegorz Rozenberg

Inbunden, 2019

495 kr

Grzegorz Rozenberg, Wolfgang Reisig - Carl Adam Petri: Ideas, Personality, Impact, E-bok

Carl Adam Petri: Ideas, Personality, Impact

Grzegorz Rozenberg, Wolfgang Reisig

E-bok

2019

611 kr

Wolfgang Reisig - Petrinetze, Häftad

Petrinetze

Wolfgang Reisig

Häftad, 1986

581 kr

Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg - Petri Nets: Central Models and Their Properties, Häftad

Petri Nets: Central Models and Their Properties

Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg

Häftad, 1987

566 kr

Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg - Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986, Häftad

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

Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg

Häftad, 1987

566 kr

Mer från samma serie

John Shore - Der Sachertorte-Algorithmus und andere Mittel gegen die Computerangst, Häftad

Der Sachertorte-Algorithmus und andere Mittel gegen die Computerangst

John Shore

Häftad, 1987

581 kr

Jürgen Gulbins, Karl Obermayr - AIX UNIX System V.4, Häftad

AIX UNIX System V.4

Jürgen Gulbins, Karl Obermayr

Häftad, 1996

842 kr

Yukari Shirota, Tosiyasu L. Kunii - UNIX für Führungskräfte, Häftad

UNIX für Führungskräfte

Yukari Shirota, Tosiyasu L. Kunii

Häftad, 2012

581 kr

Jürgen Gulbins, Karl Obermayr - UNIX System V.4, Häftad

UNIX System V.4

Jürgen Gulbins, Karl Obermayr

Häftad, 2012

634 kr

Robert L. Baber - Softwarereflexionen, Häftad

Softwarereflexionen

Robert L. Baber

Häftad, 2011

425 kr

Karl Kurbel - Programmierstil in Pascal, Cobol, Fortran, Basic, PL/I, Häftad

Programmierstil in Pascal, Cobol, Fortran, Basic, PL/I

Karl Kurbel

Häftad, 2011

581 kr

Thomas Baggenstos, R. Marty, Barbara Mergler, Peter Schnorf - UNIX als Basis für Softwareentwicklung, Häftad

UNIX als Basis für Softwareentwicklung

Thomas Baggenstos, R. Marty, Barbara Mergler, Peter Schnorf

Häftad, 2011

425 kr

Reinhold Franck - Rechnernetze und Datenkommunikation, Häftad

Rechnernetze und Datenkommunikation

Reinhold Franck

Häftad, 2011

564 kr

Gerhard Goos, Guido Persch, Jürgen Uhl - Programmiermethodik mit Ada, Häftad

Programmiermethodik mit Ada

Gerhard Goos, Guido Persch, Jürgen Uhl

Häftad, 2011

581 kr

Dieter Hogrefe - Estelle, LOTOS und SDL, Häftad

Estelle, LOTOS und SDL

Dieter Hogrefe

Häftad, 2011

412 kr

Du kanske också är intresserad av

Wolfgang Reisig - Systementwurf mit Netzen, E-bok

Systementwurf mit Netzen

Wolfgang Reisig

E-bok

2013

409 kr

Reinhold Franck - Rechnernetze und Datenkommunikation, Häftad

Rechnernetze und Datenkommunikation

Reinhold Franck

Häftad, 2011

564 kr

Thorsten Spitta - Software Engineering und Prototyping, Häftad

Software Engineering und Prototyping

Thorsten Spitta

Häftad, 2012

425 kr

Timm Grams - Denkfallen und Programmierfehler, Häftad

Denkfallen und Programmierfehler

Timm Grams

Häftad, 2012

581 kr

Frank A. Koch, Peter Schnupp, Frank A. Koch, Peter Schnupp - Software-Recht, Häftad

Software-Recht

Frank A. Koch, Peter Schnupp, Frank A. Koch, Peter Schnupp

Häftad, 2011

519 kr

Manfred Nagl - Softwaretechnik, Häftad

Softwaretechnik

Manfred Nagl

Häftad, 2012

581 kr

Jörg Bechlars, Rainer Buhtz - GKS in der Praxis, Häftad

GKS in der Praxis

Jörg Bechlars, Rainer Buhtz

Häftad, 2011

581 kr

Herbert Weber - Die Software-Krise und ihre Macher, Häftad

Die Software-Krise und ihre Macher

Herbert Weber

Häftad, 2012

425 kr

Jürgen Gulbins, Karl Obermayr - AIX UNIX System V.4, Häftad

AIX UNIX System V.4

Jürgen Gulbins, Karl Obermayr

Häftad, 1996

842 kr

Peter Schnupp, Ute Leibrandt - Expertensysteme, Häftad

Expertensysteme

Peter Schnupp, Ute Leibrandt

Häftad, 2012

581 kr