Systementwurf mit Netzen

AvWolfgang Reisig

Häftad, Tyska, 2012

Del i serien Springer Compass

417 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 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

Del 16

Modeling in Systems Biology

Ina Koch, Wolfgang Reisig, Falk Schreiber

Häftad, 2012

1 070 kr

Del 16

Modeling in Systems Biology

Ina Koch, Wolfgang Reisig, Falk Schreiber

Inbunden, 2010

1 070 kr

Understanding the Digital World

Peter Fettke, Wolfgang Reisig

Häftad, 2024

556 kr

Carl Adam Petri: Ideas, Personality, Impact

Wolfgang Reisig, Grzegorz Rozenberg

Inbunden, 2019

486 kr

Petrinetze

Wolfgang Reisig

Häftad, 1986

570 kr

Petri Nets: Central Models and Their Properties

Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg

Häftad, 1987

556 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, 1987

556 kr

Petri Net Technology for Communication-Based Systems

Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber

Häftad, 2003

539 kr

Applications and Theory of Petri Nets 2004

Jordi Cortadella, Wolfgang Reisig

Häftad, 2004

1 070 kr

Lectures on Concurrency and Petri Nets

Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg

Häftad, 2004

1 070 kr

Mer från samma serie

Der Sachertorte-Algorithmus und andere Mittel gegen die Computerangst

John Shore

Häftad, 1987

570 kr

AIX UNIX System V.4

Jürgen Gulbins, Karl Obermayr

Häftad, 1996

826 kr

UNIX für Führungskräfte

Yukari Shirota, Tosiyasu L. Kunii

Häftad, 2012

570 kr

UNIX System V.4

Jürgen Gulbins, Karl Obermayr

Häftad, 2012

621 kr

Softwarereflexionen

Robert L. Baber

Häftad, 2011

417 kr

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

Karl Kurbel

Häftad, 2011

570 kr

UNIX als Basis für Softwareentwicklung

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

Häftad, 2011

417 kr

Rechnernetze und Datenkommunikation

Reinhold Franck

Häftad, 2011

554 kr

Programmiermethodik mit Ada

Gerhard Goos, Guido Persch, Jürgen Uhl

Häftad, 2011

570 kr

Estelle, LOTOS und SDL

Dieter Hogrefe

Häftad, 2011

404 kr

Du kanske också är intresserad av

Rechnernetze und Datenkommunikation

Reinhold Franck

Häftad, 2011

554 kr

Software Engineering und Prototyping

Thorsten Spitta

Häftad, 2012

417 kr

Denkfallen und Programmierfehler

Timm Grams

Häftad, 2012

570 kr

Software-Recht

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

Häftad, 2011

509 kr

Softwaretechnik

Manfred Nagl

Häftad, 2012

570 kr

GKS in der Praxis

Jörg Bechlars, Rainer Buhtz

Häftad, 2011

570 kr

Die Software-Krise und ihre Macher

Herbert Weber

Häftad, 2012

417 kr

AIX UNIX System V.4

Jürgen Gulbins, Karl Obermayr

Häftad, 1996

826 kr

Expertensysteme

Peter Schnupp, Ute Leibrandt

Häftad, 2012

570 kr

Softwaretechnik für verteilte Systeme

Jürgen Nehmer

Häftad, 2012

570 kr