Reinhard German is the author of Performance Analysis of Communication Systems : Modeling with Non-Markovian Stochastic Petri Nets, published by Wiley.

"...an excellent general introduction...a highly recommended source for researchers who are interested in utilizing Petri nets." (Journal of Mathematical Psychology, 2002)

• Foreword Preface Contents Outline Acknowledgments I Modeling with Stochastic Petri Nets 1 Introduction 2 Stochastic Petri Nets 3 Tool Support 4 Preliminaries 5 Markovian Stochastic Petri Nets 6 The Method of Supplementary Variables 7 General State Equations 8 Stationary Analysis 9 Transient Analysis 10 General Execution Policies 11 Reducible Structures 12 Markov Renewal Theory 13 Concurrent Deterministic Transitions 14 Introduction to Communication Systems 15 Medium Access Control 16 Error Control for Noisy Channels 17 Miscellaneous Topics 18 Concluding Remarks Appendix: SPNica Manual A.1 A Short Tour of SPNica A.2 Analysis of Discrete-Time Markov Chains A.3 Analysis of GSPN Models A.4 Stationary Analysis of Non-Markovian SPNs A.5 Transient Analysis of DSPNs List of Abbreviations Glossary of Notation References Index

Reinhard German is the author of Performance Analysis of Communication Systems : Modeling with Non-Markovian Stochastic Petri Nets, published by Wiley.

"...an excellent general introduction...a highly recommended source for researchers who are interested in utilizing Petri nets." (Journal of Mathematical Psychology, 2002)

• Foreword Preface Contents Outline Acknowledgments I Modeling with Stochastic Petri Nets 1 Introduction 2 Stochastic Petri Nets 3 Tool Support 4 Preliminaries 5 Markovian Stochastic Petri Nets 6 The Method of Supplementary Variables 7 General State Equations 8 Stationary Analysis 9 Transient Analysis 10 General Execution Policies 11 Reducible Structures 12 Markov Renewal Theory 13 Concurrent Deterministic Transitions 14 Introduction to Communication Systems 15 Medium Access Control 16 Error Control for Noisy Channels 17 Miscellaneous Topics 18 Concluding Remarks Appendix: SPNica Manual A.1 A Short Tour of SPNica A.2 Analysis of Discrete-Time Markov Chains A.3 Analysis of GSPN Models A.4 Stationary Analysis of Non-Markovian SPNs A.5 Transient Analysis of DSPNs List of Abbreviations Glossary of Notation References Index

Reinhard German is the author of Performance Analysis of Communication Systems : Modeling with Non-Markovian Stochastic Petri Nets, published by Wiley.

"...an excellent general introduction...a highly recommended source for researchers who are interested in utilizing Petri nets." (Journal of Mathematical Psychology, 2002)

• Foreword Preface Contents Outline Acknowledgments I Modeling with Stochastic Petri Nets 1 Introduction 2 Stochastic Petri Nets 3 Tool Support 4 Preliminaries 5 Markovian Stochastic Petri Nets 6 The Method of Supplementary Variables 7 General State Equations 8 Stationary Analysis 9 Transient Analysis 10 General Execution Policies 11 Reducible Structures 12 Markov Renewal Theory 13 Concurrent Deterministic Transitions 14 Introduction to Communication Systems 15 Medium Access Control 16 Error Control for Noisy Channels 17 Miscellaneous Topics 18 Concluding Remarks Appendix: SPNica Manual A.1 A Short Tour of SPNica A.2 Analysis of Discrete-Time Markov Chains A.3 Analysis of GSPN Models A.4 Stationary Analysis of Non-Markovian SPNs A.5 Transient Analysis of DSPNs List of Abbreviations Glossary of Notation References Index