Simulative analysis of coloured extended stochastic Petri nets:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
Cottbus ; Senftenberg
10.01.2017
|
| Schlagworte: | |
| Online-Zugang: | Volltext Volltext Volltext |
| Beschreibung: | xiii, 175 Seiten Illustrationen, Diagramme |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV044221106 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 170313s2017 xx a||| mm|| 00||| eng d | ||
| 035 | |a (OCoLC)976427860 | ||
| 035 | |a (DE-599)BVBBV044221106 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-634 | ||
| 100 | 1 | |a Rohr, Christian |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Simulative analysis of coloured extended stochastic Petri nets |c vorgelegt von Diplominformatiker Christian Rohr |
| 264 | 1 | |a Cottbus ; Senftenberg |c 10.01.2017 | |
| 300 | |a xiii, 175 Seiten |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |b Dissertation |c Brandenburgische Technische Universität Cottbus-Senftenberg |d 2017 | ||
| 650 | 0 | 7 | |a Model Checking |0 (DE-588)4434799-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Statistisches Modell |0 (DE-588)4121722-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Gefärbtes Petri-Netz |0 (DE-588)4297173-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Statistisches Modell |0 (DE-588)4121722-6 |D s |
| 689 | 0 | 1 | |a Gefärbtes Petri-Netz |0 (DE-588)4297173-1 |D s |
| 689 | 0 | 2 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 1 | 8 | |i Erscheint auch als |n Online-Ausgabe |o urn:nbn:de:kobv:co1-opus4-41476 |
| 856 | 4 | 1 | |u https://opus4.kobv.de/opus4-btu/frontdoor/index/index/docId/4147 |x Verlag |z kostenfrei |3 Volltext |
| 856 | 4 | 1 | |u https://opus4.kobv.de/opus4-btu/files/4147/Rohr_Christian.pdf |x PDF |z kostenfrei |3 Volltext |
| 856 | 4 | 1 | |u https://nbn-resolving.org/urn:nbn:de:kobv:co1-opus4-41476 |x Resolving-System |z kostenfrei |3 Volltext |
| 912 | |a ebook | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029627069 | |
Datensatz im Suchindex
| _version_ | 1817681167001845760 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Rohr, Christian |
| author_facet | Rohr, Christian |
| author_role | aut |
| author_sort | Rohr, Christian |
| author_variant | c r cr |
| building | Verbundindex |
| bvnumber | BV044221106 |
| collection | ebook |
| ctrlnum | (OCoLC)976427860 (DE-599)BVBBV044221106 |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV044221106</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">170313s2017 xx a||| mm|| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)976427860</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044221106</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-634</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Rohr, Christian</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Simulative analysis of coloured extended stochastic Petri nets</subfield><subfield code="c">vorgelegt von Diplominformatiker Christian Rohr</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cottbus ; Senftenberg</subfield><subfield code="c">10.01.2017</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiii, 175 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="b">Dissertation</subfield><subfield code="c">Brandenburgische Technische Universität Cottbus-Senftenberg</subfield><subfield code="d">2017</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Statistisches Modell</subfield><subfield code="0">(DE-588)4121722-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Gefärbtes Petri-Netz</subfield><subfield code="0">(DE-588)4297173-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Statistisches Modell</subfield><subfield code="0">(DE-588)4121722-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Gefärbtes Petri-Netz</subfield><subfield code="0">(DE-588)4297173-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="1" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="o">urn:nbn:de:kobv:co1-opus4-41476</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://opus4.kobv.de/opus4-btu/frontdoor/index/index/docId/4147</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://opus4.kobv.de/opus4-btu/files/4147/Rohr_Christian.pdf</subfield><subfield code="x">PDF</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://nbn-resolving.org/urn:nbn:de:kobv:co1-opus4-41476</subfield><subfield code="x">Resolving-System</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029627069</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV044221106 |
| illustrated | Illustrated |
| indexdate | 2024-12-06T09:04:03Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029627069 |
| oclc_num | 976427860 |
| open_access_boolean | 1 |
| owner | DE-634 |
| owner_facet | DE-634 |
| physical | xiii, 175 Seiten Illustrationen, Diagramme |
| psigel | ebook |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| record_format | marc |
| spelling | Rohr, Christian Verfasser aut Simulative analysis of coloured extended stochastic Petri nets vorgelegt von Diplominformatiker Christian Rohr Cottbus ; Senftenberg 10.01.2017 xiii, 175 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Dissertation Brandenburgische Technische Universität Cottbus-Senftenberg 2017 Model Checking (DE-588)4434799-6 gnd rswk-swf Statistisches Modell (DE-588)4121722-6 gnd rswk-swf Gefärbtes Petri-Netz (DE-588)4297173-1 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Statistisches Modell (DE-588)4121722-6 s Gefärbtes Petri-Netz (DE-588)4297173-1 s Model Checking (DE-588)4434799-6 s DE-604 Erscheint auch als Online-Ausgabe urn:nbn:de:kobv:co1-opus4-41476 https://opus4.kobv.de/opus4-btu/frontdoor/index/index/docId/4147 Verlag kostenfrei Volltext https://opus4.kobv.de/opus4-btu/files/4147/Rohr_Christian.pdf PDF kostenfrei Volltext https://nbn-resolving.org/urn:nbn:de:kobv:co1-opus4-41476 Resolving-System kostenfrei Volltext |
| spellingShingle | Rohr, Christian Simulative analysis of coloured extended stochastic Petri nets Model Checking (DE-588)4434799-6 gnd Statistisches Modell (DE-588)4121722-6 gnd Gefärbtes Petri-Netz (DE-588)4297173-1 gnd |
| subject_GND | (DE-588)4434799-6 (DE-588)4121722-6 (DE-588)4297173-1 (DE-588)4113937-9 |
| title | Simulative analysis of coloured extended stochastic Petri nets |
| title_auth | Simulative analysis of coloured extended stochastic Petri nets |
| title_exact_search | Simulative analysis of coloured extended stochastic Petri nets |
| title_full | Simulative analysis of coloured extended stochastic Petri nets vorgelegt von Diplominformatiker Christian Rohr |
| title_fullStr | Simulative analysis of coloured extended stochastic Petri nets vorgelegt von Diplominformatiker Christian Rohr |
| title_full_unstemmed | Simulative analysis of coloured extended stochastic Petri nets vorgelegt von Diplominformatiker Christian Rohr |
| title_short | Simulative analysis of coloured extended stochastic Petri nets |
| title_sort | simulative analysis of coloured extended stochastic petri nets |
| topic | Model Checking (DE-588)4434799-6 gnd Statistisches Modell (DE-588)4121722-6 gnd Gefärbtes Petri-Netz (DE-588)4297173-1 gnd |
| topic_facet | Model Checking Statistisches Modell Gefärbtes Petri-Netz Hochschulschrift |
| url | https://opus4.kobv.de/opus4-btu/frontdoor/index/index/docId/4147 https://opus4.kobv.de/opus4-btu/files/4147/Rohr_Christian.pdf https://nbn-resolving.org/urn:nbn:de:kobv:co1-opus4-41476 |
| work_keys_str_mv | AT rohrchristian simulativeanalysisofcolouredextendedstochasticpetrinets |