Stochastic Petri Nets: Modelling, Stability, Simulation
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
New York, NY
Springer New York
2002
|
| Schriftenreihe: | Springer Series in Operations Research
|
| Schlagwörter: | |
| Links: | https://doi.org/10.1007/b97265 |
| Beschreibung: | This book was motivated by a desire to bridge the gap between two important areas of research related to the design and operation of engineering and information systems. The first area concerns the development of mathematical tools for formal specification of complex probabilistic systems, with an eye toward subsequent simulation of the resulting stochastic model on a computer. The second area concerns the development of methods for analysis of simulation output. Research on modelling techniques has been driven by the ever-increasing size and complexity of computer, manufacturing, transportation, workflow, and communication systems. Many engineers and systems designers now recognize that the use of formal models has a number of advantages over simply writing complicated simulation programs from scratch. Not only is it much easier to generate software that is free of logical errors, but various qualitative system properties— absence of deadlock, impossibility of reaching catastrophic states, and so forth— can be verified far more easily for a formal model than for an ad-hoc computer program. Indeed, certain system properties can sometimes be verified automatically. Our focus is on systems that can be viewed as making state transitions when events associated with the occupied state occur. More specifically, we consider discrete-event systems in which the stochastic state transitions occur only at an increasing sequence of random times. The "Bedienungsprozess" (service process) framework, developed by König, Matthes, and Nawrotzki in the 1960s and early 1970s, provided the first set of building blocks for formal modelling of general discrete-event systems. The modern incarnation of the Bedienungsprozess is the "generalized semi-Markov process" (gsmp) viii Preface |
| Umfang: | 1 Online-Ressource (XXII, 510 p) |
| ISBN: | 9780387215525 9781441930019 |
| ISSN: | 1431-8598 |
| DOI: | 10.1007/b97265 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042418911 | ||
| 003 | DE-604 | ||
| 005 | 20180108 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s2002 xx o|||| 00||| eng d | ||
| 020 | |a 9780387215525 |c Online |9 978-0-387-21552-5 | ||
| 020 | |a 9781441930019 |c Print |9 978-1-4419-3001-9 | ||
| 024 | 7 | |a 10.1007/b97265 |2 doi | |
| 035 | |a (OCoLC)850501833 | ||
| 035 | |a (DE-599)BVBBV042418911 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 519.2 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Haas, Peter J. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Stochastic Petri Nets |b Modelling, Stability, Simulation |c by Peter J. Haas |
| 264 | 1 | |a New York, NY |b Springer New York |c 2002 | |
| 300 | |a 1 Online-Ressource (XXII, 510 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Springer Series in Operations Research |x 1431-8598 | |
| 500 | |a This book was motivated by a desire to bridge the gap between two important areas of research related to the design and operation of engineering and information systems. The first area concerns the development of mathematical tools for formal specification of complex probabilistic systems, with an eye toward subsequent simulation of the resulting stochastic model on a computer. The second area concerns the development of methods for analysis of simulation output. Research on modelling techniques has been driven by the ever-increasing size and complexity of computer, manufacturing, transportation, workflow, and communication systems. Many engineers and systems designers now recognize that the use of formal models has a number of advantages over simply writing complicated simulation programs from scratch. Not only is it much easier to generate software that is free of logical errors, but various qualitative system properties— absence of deadlock, impossibility of reaching catastrophic states, and so forth— can be verified far more easily for a formal model than for an ad-hoc computer program. Indeed, certain system properties can sometimes be verified automatically. Our focus is on systems that can be viewed as making state transitions when events associated with the occupied state occur. More specifically, we consider discrete-event systems in which the stochastic state transitions occur only at an increasing sequence of random times. The "Bedienungsprozess" (service process) framework, developed by König, Matthes, and Nawrotzki in the 1960s and early 1970s, provided the first set of building blocks for formal modelling of general discrete-event systems. The modern incarnation of the Bedienungsprozess is the "generalized semi-Markov process" (gsmp) viii Preface | ||
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Computer simulation | |
| 650 | 4 | |a Distribution (Probability theory) | |
| 650 | 4 | |a Mathematical statistics | |
| 650 | 4 | |a Probability Theory and Stochastic Processes | |
| 650 | 4 | |a Simulation and Modeling | |
| 650 | 4 | |a Statistical Theory and Methods | |
| 650 | 4 | |a Operations Research, Management Science | |
| 650 | 4 | |a Mathematik | |
| 650 | 0 | 7 | |a Stochastisches Petri-Netz |0 (DE-588)4337061-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modellierung |0 (DE-588)4170297-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zeitdiskretes System |0 (DE-588)4127297-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computersimulation |0 (DE-588)4148259-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Stochastisches Petri-Netz |0 (DE-588)4337061-5 |D s |
| 689 | 0 | 1 | |a Zeitdiskretes System |0 (DE-588)4127297-3 |D s |
| 689 | 0 | 2 | |a Modellierung |0 (DE-588)4170297-9 |D s |
| 689 | 0 | 3 | |a Computersimulation |0 (DE-588)4148259-1 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/b97265 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA | ||
| 912 | |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027854328 | |
Datensatz im Suchindex
| DE-BY-TUM_katkey | 2065921 |
|---|---|
| _version_ | 1821935323600388096 |
| any_adam_object | |
| author | Haas, Peter J. |
| author_facet | Haas, Peter J. |
| author_role | aut |
| author_sort | Haas, Peter J. |
| author_variant | p j h pj pjh |
| building | Verbundindex |
| bvnumber | BV042418911 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)850501833 (DE-599)BVBBV042418911 |
| dewey-full | 519.2 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 519 - Probabilities and applied mathematics |
| dewey-raw | 519.2 |
| dewey-search | 519.2 |
| dewey-sort | 3519.2 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1007/b97265 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03976nam a2200601zc 4500</leader><controlfield tag="001">BV042418911</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180108 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s2002 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780387215525</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-387-21552-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781441930019</subfield><subfield code="c">Print</subfield><subfield code="9">978-1-4419-3001-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/b97265</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)850501833</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042418911</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">519.2</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Haas, Peter J.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Stochastic Petri Nets</subfield><subfield code="b">Modelling, Stability, Simulation</subfield><subfield code="c">by Peter J. Haas</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Springer New York</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XXII, 510 p)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Springer Series in Operations Research</subfield><subfield code="x">1431-8598</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">This book was motivated by a desire to bridge the gap between two important areas of research related to the design and operation of engineering and information systems. The first area concerns the development of mathematical tools for formal specification of complex probabilistic systems, with an eye toward subsequent simulation of the resulting stochastic model on a computer. The second area concerns the development of methods for analysis of simulation output. Research on modelling techniques has been driven by the ever-increasing size and complexity of computer, manufacturing, transportation, workflow, and communication systems. Many engineers and systems designers now recognize that the use of formal models has a number of advantages over simply writing complicated simulation programs from scratch. Not only is it much easier to generate software that is free of logical errors, but various qualitative system properties— absence of deadlock, impossibility of reaching catastrophic states, and so forth— can be verified far more easily for a formal model than for an ad-hoc computer program. Indeed, certain system properties can sometimes be verified automatically. Our focus is on systems that can be viewed as making state transitions when events associated with the occupied state occur. More specifically, we consider discrete-event systems in which the stochastic state transitions occur only at an increasing sequence of random times. The "Bedienungsprozess" (service process) framework, developed by König, Matthes, and Nawrotzki in the 1960s and early 1970s, provided the first set of building blocks for formal modelling of general discrete-event systems. The modern incarnation of the Bedienungsprozess is the "generalized semi-Markov process" (gsmp) viii Preface</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer simulation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Distribution (Probability theory)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical statistics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Probability Theory and Stochastic Processes</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Simulation and Modeling</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Statistical Theory and Methods</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Operations Research, Management Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Stochastisches Petri-Netz</subfield><subfield code="0">(DE-588)4337061-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zeitdiskretes System</subfield><subfield code="0">(DE-588)4127297-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computersimulation</subfield><subfield code="0">(DE-588)4148259-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Stochastisches Petri-Netz</subfield><subfield code="0">(DE-588)4337061-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Zeitdiskretes System</subfield><subfield code="0">(DE-588)4127297-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Computersimulation</subfield><subfield code="0">(DE-588)4148259-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/b97265</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027854328</subfield></datafield></record></collection> |
| id | DE-604.BV042418911 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T17:10:39Z |
| institution | BVB |
| isbn | 9780387215525 9781441930019 |
| issn | 1431-8598 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027854328 |
| oclc_num | 850501833 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (XXII, 510 p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Springer New York |
| record_format | marc |
| series2 | Springer Series in Operations Research |
| spellingShingle | Haas, Peter J. Stochastic Petri Nets Modelling, Stability, Simulation Mathematics Computer simulation Distribution (Probability theory) Mathematical statistics Probability Theory and Stochastic Processes Simulation and Modeling Statistical Theory and Methods Operations Research, Management Science Mathematik Stochastisches Petri-Netz (DE-588)4337061-5 gnd Modellierung (DE-588)4170297-9 gnd Zeitdiskretes System (DE-588)4127297-3 gnd Computersimulation (DE-588)4148259-1 gnd |
| subject_GND | (DE-588)4337061-5 (DE-588)4170297-9 (DE-588)4127297-3 (DE-588)4148259-1 |
| title | Stochastic Petri Nets Modelling, Stability, Simulation |
| title_auth | Stochastic Petri Nets Modelling, Stability, Simulation |
| title_exact_search | Stochastic Petri Nets Modelling, Stability, Simulation |
| title_full | Stochastic Petri Nets Modelling, Stability, Simulation by Peter J. Haas |
| title_fullStr | Stochastic Petri Nets Modelling, Stability, Simulation by Peter J. Haas |
| title_full_unstemmed | Stochastic Petri Nets Modelling, Stability, Simulation by Peter J. Haas |
| title_short | Stochastic Petri Nets |
| title_sort | stochastic petri nets modelling stability simulation |
| title_sub | Modelling, Stability, Simulation |
| topic | Mathematics Computer simulation Distribution (Probability theory) Mathematical statistics Probability Theory and Stochastic Processes Simulation and Modeling Statistical Theory and Methods Operations Research, Management Science Mathematik Stochastisches Petri-Netz (DE-588)4337061-5 gnd Modellierung (DE-588)4170297-9 gnd Zeitdiskretes System (DE-588)4127297-3 gnd Computersimulation (DE-588)4148259-1 gnd |
| topic_facet | Mathematics Computer simulation Distribution (Probability theory) Mathematical statistics Probability Theory and Stochastic Processes Simulation and Modeling Statistical Theory and Methods Operations Research, Management Science Mathematik Stochastisches Petri-Netz Modellierung Zeitdiskretes System Computersimulation |
| url | https://doi.org/10.1007/b97265 |
| work_keys_str_mv | AT haaspeterj stochasticpetrinetsmodellingstabilitysimulation |