Del i serien Springer Compass

Systementwurf mit Netzen

Häftad, Tyska, 2012

AvWolfgang 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

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 399 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 399 kr

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

Understanding the Digital World

Peter Fettke, Wolfgang Reisig

Häftad, 2024

729 kr

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

Carl Adam Petri: Ideas, Personality, Impact

Wolfgang Reisig, Grzegorz Rozenberg

Inbunden, 2019

639 kr

Wolfgang Reisig - Petrinetze, Häftad

Petrinetze

Wolfgang Reisig

Häftad, 1986

749 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

729 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

729 kr

Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber - Petri Net Technology for Communication-Based Systems, Häftad

Petri Net Technology for Communication-Based Systems

Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber

Häftad, 2003

709 kr

Jordi Cortadella, Wolfgang Reisig - Applications and Theory of Petri Nets 2004, Häftad

Applications and Theory of Petri Nets 2004

Jordi Cortadella, Wolfgang Reisig

Häftad, 2004

1 399 kr

Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg - Lectures on Concurrency and Petri Nets, Häftad

Lectures on Concurrency and Petri Nets

Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg

Häftad, 2004

1 399 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

749 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

1 079 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

749 kr

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

UNIX System V.4

Jürgen Gulbins, Karl Obermayr

Häftad, 2012

809 kr

Robert L. Baber - Softwarereflexionen, Häftad

Softwarereflexionen

Robert L. Baber

Häftad, 2011

549 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

749 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

549 kr

Reinhold Franck - Rechnernetze und Datenkommunikation, Häftad

Rechnernetze und Datenkommunikation

Reinhold Franck

Häftad, 2011

729 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

749 kr

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

Estelle, LOTOS und SDL

Dieter Hogrefe

Häftad, 2011

529 kr

Du kanske också är intresserad av

Reinhold Franck - Rechnernetze und Datenkommunikation, Häftad

Rechnernetze und Datenkommunikation

Reinhold Franck

Häftad, 2011

729 kr

Thorsten Spitta - Software Engineering und Prototyping, Häftad

Software Engineering und Prototyping

Thorsten Spitta

Häftad, 2012

549 kr

Timm Grams - Denkfallen und Programmierfehler, Häftad

Denkfallen und Programmierfehler

Timm Grams

Häftad, 2012

749 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

669 kr

Manfred Nagl - Softwaretechnik, Häftad

Softwaretechnik

Manfred Nagl

Häftad, 2012

749 kr

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

GKS in der Praxis

Jörg Bechlars, Rainer Buhtz

Häftad, 2011

749 kr

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

Die Software-Krise und ihre Macher

Herbert Weber

Häftad, 2012

549 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

1 079 kr

Peter Schnupp, Ute Leibrandt - Expertensysteme, Häftad

Expertensysteme

Peter Schnupp, Ute Leibrandt

Häftad, 2012

749 kr

Jürgen Nehmer - Softwaretechnik für verteilte Systeme, Häftad

Softwaretechnik für verteilte Systeme

Jürgen Nehmer

Häftad, 2012

749 kr