Systementwurf mit Netzen

AvWolfgang Reisig

Häftad, Tyska, 2012

Del i serien Springer Compass

429 kr

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

Fler format och utgåvor

E-bok

427 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 102 kr

Del 16

Modeling in Systems Biology

Ina Koch, Wolfgang Reisig, Falk Schreiber

Inbunden, 2010

1 102 kr

Modeling in Systems Biology

Falk Schreiber, Wolfgang Reisig, Ina Koch

E-bok

2010

1 427 kr

Understanding the Digital World

Peter Fettke, Wolfgang Reisig

Häftad, 2024

571 kr

Understanding the Digital World

Wolfgang Reisig, Peter Fettke

E-bok

2024

739 kr

Carl Adam Petri: Ideas, Personality, Impact

Wolfgang Reisig, Grzegorz Rozenberg

Inbunden, 2019

500 kr

Carl Adam Petri: Ideas, Personality, Impact

Grzegorz Rozenberg, Wolfgang Reisig

E-bok

2019

638 kr

Petrinetze

Wolfgang Reisig

Häftad, 1986

588 kr

Petri Nets: Central Models and Their Properties

Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg

Häftad, 1987

572 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

572 kr

Mer från samma serie

Der Sachertorte-Algorithmus und andere Mittel gegen die Computerangst

John Shore

Häftad, 1987

588 kr

AIX UNIX System V.4

Jürgen Gulbins, Karl Obermayr

Häftad, 1996

850 kr

UNIX für Führungskräfte

Yukari Shirota, Tosiyasu L. Kunii

Häftad, 2012

587 kr

UNIX System V.4

Jürgen Gulbins, Karl Obermayr

Häftad, 2012

639 kr

Softwarereflexionen

Robert L. Baber

Häftad, 2011

429 kr

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

Karl Kurbel

Häftad, 2011

587 kr

UNIX als Basis für Softwareentwicklung

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

Häftad, 2011

429 kr

Rechnernetze und Datenkommunikation

Reinhold Franck

Häftad, 2011

570 kr

Programmiermethodik mit Ada

Gerhard Goos, Guido Persch, Jürgen Uhl

Häftad, 2011

587 kr

Estelle, LOTOS und SDL

Dieter Hogrefe

Häftad, 2011

416 kr

Du kanske också är intresserad av

10% rabatt på allt

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

Modeling in Systems Biology

Falk Schreiber, Wolfgang Reisig, Ina Koch

E-bok

2010

1 427 kr

Lectures on Concurrency and Petri Nets

Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg

Häftad, 2004

1 102 kr

Petrinetze

Wolfgang Reisig

Inbunden, 2010

397 kr

Petri Net Technology for Communication-Based Systems

Herbert Weber, Grzegorz Rozenberg, Wolfgang Reisig, Hartmut Ehrig

E-bok

2003

712 kr

Applications and Theory of Petri Nets 2004

Jordi Cortadella, Wolfgang Reisig

Häftad, 2004

1 102 kr

Petri Nets

Wolfgang Reisig

E-bok

2012

739 kr

Primer in Petri Net Design

Wolfgang Reisig

Häftad, 2011

1 135 kr

Lectures on Petri Nets II: Applications

Wolfgang Reisig, Grzegorz Rozenberg

Häftad, 1998

571 kr

Lectures on Concurrency and Petri Nets

Grzegorz Rozenberg, Wolfgang Reisig, Jorg Desel

E-bok

2004

1 427 kr

Systementwurf mit Netzen

AvWolfgang Reisig

Häftad, Tyska, 2012

Del i serien Springer Compass

429 kr

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

Fler format och utgåvor

E-bok

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