Produktbild: Enhancing Stochastic Petri Nets with Reconfigurability

Enhancing Stochastic Petri Nets with Reconfigurability Modeling, Analysis and Performance Evaluation

Fr. 196.00

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

24.06.2025

Verlag

John Wiley & Sons

Seitenzahl

208

Maße (L/B/H)

23.4/15.6/1.3 cm

Gewicht

471 g

Sprache

Englisch

ISBN

978-1-83669-062-7

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

24.06.2025

Verlag

John Wiley & Sons

Seitenzahl

208

Maße (L/B/H)

23.4/15.6/1.3 cm

Gewicht

471 g

Sprache

Englisch

ISBN

978-1-83669-062-7

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Die Leseprobe wird geladen.
  • Produktbild: Enhancing Stochastic Petri Nets with Reconfigurability
  • Preface ix

    General Introduction xi

    Part 1 State of the Art 1

    Chapter 1 From Petri Nets to Stochastic Petri Nets 3

    1.1 Introduction 3

    1.2.ModelingwithPetrinets 4

    1.3.Petrinetstructure 6

    1.4.DynamicbehaviorofPetrinets 7

    1.5.Petrinetanalysis 11

    1.5.1.Petrinetproperties 11

    1.5.2.Temporallogic 14

    1.5.3 Analysis methods 18

    1.6.StochasticPetrinets 19

    1.6.1.Stochasticprocess 21

    1.6.2.Markovprocess 21

    1.6.3 Stochastic Petri nets having exponential law 22

    1.6.4 Quantitative properties 26

    1.7.GeneralizedstochasticPetrinets 27

    1.7.1.EmbeddedMarkovChain 29

    1.8.Conclusion 32

    Chapter 2 Reconfiguration Aspects in Petri Nets 33

    2.1 Introduction 33

    2.2.GraphTransformationSystems 34

    2.3 Double-pushout approach for Petri nets 35

    2.4 Net rewriting systems 38

    2.5.Self-modifyingnets 41

    2.6.ReconfigurablePetrinets 43

    2.7 Improved net rewriting systems 47

    2.8.Otherextensions 48

    2.9 Trade-off between expressiveness and calculability in PN-based reconfigurable formalisms 49

    2.10.Conclusion 51

    Part 2 Orientation 1 53

    Chapter 3 Rewritable Topology in Generalized Stochastic Petri Nets 55

    3.1 Introduction 55

    3.2 GSPNs with rewritable topology 56

    3.2.1 Formal definition 58

    3.3.Proofs 60

    3.4.Illustrativeexample 61

    3.5.Stochasticrewardnets 67

    3.6.Configuration-dependentstochasticrewardnets 68

    3.7.TransformationofCD-SRNsintobasicSRNs 69

    3.8.Proofs 72

    3.9.Illustrativeexample 73

    3.10.Conclusion 79

    Chapter 4 Generalized Stochastic Petri Nets with Dynamic Structure 81

    4.1 Introduction 81

    4.2.DynamicGSPNs 83

    4.2.1 Formal definition 83

    4.3.D-GSPNtransformationtowardsGSPNs 85

    4.4 Qualitative/quantitative analysis of D-GSPNs 89

    4.5.Proofs 90

    4.6.Illustrativeexample 92

    4.7.GeneralizedstochasticPetrinetswithinhibitorandresetarcs 98

    4.8 Improved D-GSPNs under infinite-server semantics 99

    4.9.UnfoldingID-GSPNsintoGSPNs 105

    4.10 Running examples 110

    4.11.Conclusion 119

    Part 3 Orientation 2 121

    Chapter 5 Reconfigurable Generalized Stochastic Petri Nets 123

    5.1 Introduction 123

    5.2.ReconfigurablegeneralizedstochasticPetrinets 125

    5.2.1 Definition of RecGSPNs 125

    5.2.2.Propertiespreservingnets 130

    5.3.PreservationofpropertiesinRecGSPNs 131

    5.3.1 Preservation of LBR, home state and deadlock-free 131

    5.3.2.Preservationoflineartemporalproperties 136

    5.4 Quantitative analysis 141

    5.5.UsingRecGSPNsinpractice 144

    5.6.Conclusion 149

    Part 4 Evaluation, Discussion and Conclusion 151

    Chapter 6 Evaluation and Discussion 153

    6.1 Introduction 153

    6.2 Qualitative aspects 153

    6.3 Quantitative aspects 156

    6.3.1.Factor1:modelsize 157

    6.3.2.Factor2:Markovchainspatialcomplexity 159

    6.3.3.Factor3:Markovchaintimecomplexity 161

    6.4.Conclusion 163

    Conclusion 165

    References 169

    Index 177