Theoretische Informatik - Petri-Netze:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | Deutsch |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2003
|
| Schriftenreihe: | Springer-Lehrbuch
|
| Schlagwörter: | |
| Links: | https://doi.org/10.1007/978-3-662-10427-9 |
| Beschreibung: | Petri-Netze sind das meist beachtete und am besten untersuchte Modell für nebenläufige, parallele Rechnungen. In diesem Lehrbuch werden zum ersten Mal zahlreich Resultate der Originalliteratur über Unmöglichkeiten, Möglichkeiten und die Komplexität der Ausdrucksmittel von Petri-Netzen didaktisch aufgearbeitet und im Detail einer breiteren Leserschaft vorgestellt. Alle für die Beweise notwendigen Techniken und mathematischen Begriffe werden erläutert. Damit wendet sich das Buch sowohl an Studierende als auch an Lehrende und Forscher. Der Inhalt konzentriert sich neben einer Darstellung der Grundbegriffe und deren Zusammenhänge insbesondere auf einen Algorithmus für die Erreichbarkeitsfrage, die Ausdrucksfähigkeit verschiedener Berechnungsbegriffe, ausgewählte Fragen zur Entscheidbarkeit und Komplexität, sowie Petri-Netz Semantiken mittels Sprachen und partiell geordneten Mengen und deren algebraische Charakterisierung |
| Umfang: | 1 Online-Ressource (X, 376 S. 111 Abb) |
| ISBN: | 9783662104279 9783540442899 |
| ISSN: | 0937-7433 |
| DOI: | 10.1007/978-3-662-10427-9 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042436050 | ||
| 003 | DE-604 | ||
| 005 | 20181121 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s2003 xx o|||| 00||| ger d | ||
| 020 | |a 9783662104279 |c Online |9 978-3-662-10427-9 | ||
| 020 | |a 9783540442899 |c Print |9 978-3-540-44289-9 | ||
| 024 | 7 | |a 10.1007/978-3-662-10427-9 |2 doi | |
| 035 | |a (OCoLC)863962841 | ||
| 035 | |a (DE-599)BVBBV042436050 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-573 |a DE-Aug4 |a DE-860 |a DE-1046 |a DE-706 |a DE-703 |a DE-1028 |a DE-83 | ||
| 082 | 0 | |a 005.131 |2 23 | |
| 084 | |a TEC 000 |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Priese, Lutz |d 1947- |e Verfasser |0 (DE-588)13599697X |4 aut | |
| 245 | 1 | 0 | |a Theoretische Informatik - Petri-Netze |c von Lutz Priese, Harro Wimmel |
| 246 | 1 | 3 | |a Petri-Netze |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 2003 | |
| 300 | |a 1 Online-Ressource (X, 376 S. 111 Abb) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Springer-Lehrbuch |x 0937-7433 | |
| 500 | |a Petri-Netze sind das meist beachtete und am besten untersuchte Modell für nebenläufige, parallele Rechnungen. In diesem Lehrbuch werden zum ersten Mal zahlreich Resultate der Originalliteratur über Unmöglichkeiten, Möglichkeiten und die Komplexität der Ausdrucksmittel von Petri-Netzen didaktisch aufgearbeitet und im Detail einer breiteren Leserschaft vorgestellt. Alle für die Beweise notwendigen Techniken und mathematischen Begriffe werden erläutert. Damit wendet sich das Buch sowohl an Studierende als auch an Lehrende und Forscher. Der Inhalt konzentriert sich neben einer Darstellung der Grundbegriffe und deren Zusammenhänge insbesondere auf einen Algorithmus für die Erreichbarkeitsfrage, die Ausdrucksfähigkeit verschiedener Berechnungsbegriffe, ausgewählte Fragen zur Entscheidbarkeit und Komplexität, sowie Petri-Netz Semantiken mittels Sprachen und partiell geordneten Mengen und deren algebraische Charakterisierung | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer software | |
| 650 | 4 | |a Combinatorics | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Algorithm Analysis and Problem Complexity | |
| 650 | 4 | |a Computation by Abstract Devices | |
| 650 | 4 | |a Mathematics of Computing | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Petri-Netz |0 (DE-588)4045388-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Erreichbarkeit |0 (DE-588)4334087-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Interleaving |0 (DE-588)4603410-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | 1 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 0 | 2 | |a Erreichbarkeit |0 (DE-588)4334087-8 |D s |
| 689 | 0 | 3 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 1 | 1 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 689 | 2 | 0 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 2 | 1 | |a Interleaving |0 (DE-588)4603410-9 |D s |
| 689 | 2 | |8 3\p |5 DE-604 | |
| 689 | 3 | 0 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 3 | 1 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 3 | |8 4\p |5 DE-604 | |
| 700 | 1 | |a Wimmel, Harro |d 1967- |e Sonstige |0 (DE-588)17336621X |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-662-10427-9 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI | ||
| 912 | |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 940 | 1 | |q ZDB-2-STI_2000/2004 | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 4\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-027871380 | |
Datensatz im Suchindex
| DE-BY-TUM_katkey | 2079080 |
|---|---|
| _version_ | 1821931511262216192 |
| any_adam_object | |
| author | Priese, Lutz 1947- |
| author_GND | (DE-588)13599697X (DE-588)17336621X |
| author_facet | Priese, Lutz 1947- |
| author_role | aut |
| author_sort | Priese, Lutz 1947- |
| author_variant | l p lp |
| building | Verbundindex |
| bvnumber | BV042436050 |
| classification_tum | TEC 000 DAT 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)863962841 (DE-599)BVBBV042436050 |
| dewey-full | 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.131 |
| dewey-search | 005.131 |
| dewey-sort | 15.131 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-662-10427-9 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04270nam a2200853zc 4500</leader><controlfield tag="001">BV042436050</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20181121 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s2003 xx o|||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662104279</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-10427-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540442899</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-540-44289-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-10427-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863962841</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042436050</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">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Priese, Lutz</subfield><subfield code="d">1947-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)13599697X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theoretische Informatik - Petri-Netze</subfield><subfield code="c">von Lutz Priese, Harro Wimmel</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Petri-Netze</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 376 S. 111 Abb)</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-Lehrbuch</subfield><subfield code="x">0937-7433</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Petri-Netze sind das meist beachtete und am besten untersuchte Modell für nebenläufige, parallele Rechnungen. In diesem Lehrbuch werden zum ersten Mal zahlreich Resultate der Originalliteratur über Unmöglichkeiten, Möglichkeiten und die Komplexität der Ausdrucksmittel von Petri-Netzen didaktisch aufgearbeitet und im Detail einer breiteren Leserschaft vorgestellt. Alle für die Beweise notwendigen Techniken und mathematischen Begriffe werden erläutert. Damit wendet sich das Buch sowohl an Studierende als auch an Lehrende und Forscher. Der Inhalt konzentriert sich neben einer Darstellung der Grundbegriffe und deren Zusammenhänge insbesondere auf einen Algorithmus für die Erreichbarkeitsfrage, die Ausdrucksfähigkeit verschiedener Berechnungsbegriffe, ausgewählte Fragen zur Entscheidbarkeit und Komplexität, sowie Petri-Netz Semantiken mittels Sprachen und partiell geordneten Mengen und deren algebraische Charakterisierung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Combinatorics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithm Analysis and Problem Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computation by Abstract Devices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics of Computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Erreichbarkeit</subfield><subfield code="0">(DE-588)4334087-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Interleaving</subfield><subfield code="0">(DE-588)4603410-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Erreichbarkeit</subfield><subfield code="0">(DE-588)4334087-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</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="689" ind1="1" ind2="0"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Interleaving</subfield><subfield code="0">(DE-588)4603410-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wimmel, Harro</subfield><subfield code="d">1967-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)17336621X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-10427-9</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_Archive</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_2000/2004</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="883" ind1="1" ind2=" "><subfield code="8">2\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="883" ind1="1" ind2=" "><subfield code="8">3\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="883" ind1="1" ind2=" "><subfield code="8">4\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-027871380</subfield></datafield></record></collection> |
| id | DE-604.BV042436050 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T17:11:11Z |
| institution | BVB |
| isbn | 9783662104279 9783540442899 |
| issn | 0937-7433 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027871380 |
| oclc_num | 863962841 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-Aug4 DE-860 DE-1046 DE-706 DE-703 DE-1028 DE-83 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-Aug4 DE-860 DE-1046 DE-706 DE-703 DE-1028 DE-83 |
| physical | 1 Online-Ressource (X, 376 S. 111 Abb) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive ZDB-2-STI_2000/2004 |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series2 | Springer-Lehrbuch |
| spellingShingle | Priese, Lutz 1947- Theoretische Informatik - Petri-Netze Computer science Computer software Combinatorics Logic, Symbolic and mathematical Computer Science Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Computation by Abstract Devices Mathematics of Computing Mathematical Logic and Foundations Informatik Petri-Netz (DE-588)4045388-1 gnd Formale Sprache (DE-588)4017848-1 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Erreichbarkeit (DE-588)4334087-8 gnd Interleaving (DE-588)4603410-9 gnd Berechenbarkeit (DE-588)4138368-0 gnd Entscheidbarkeit (DE-588)4152398-2 gnd |
| subject_GND | (DE-588)4045388-1 (DE-588)4017848-1 (DE-588)4115352-2 (DE-588)4334087-8 (DE-588)4603410-9 (DE-588)4138368-0 (DE-588)4152398-2 |
| title | Theoretische Informatik - Petri-Netze |
| title_alt | Petri-Netze |
| title_auth | Theoretische Informatik - Petri-Netze |
| title_exact_search | Theoretische Informatik - Petri-Netze |
| title_full | Theoretische Informatik - Petri-Netze von Lutz Priese, Harro Wimmel |
| title_fullStr | Theoretische Informatik - Petri-Netze von Lutz Priese, Harro Wimmel |
| title_full_unstemmed | Theoretische Informatik - Petri-Netze von Lutz Priese, Harro Wimmel |
| title_short | Theoretische Informatik - Petri-Netze |
| title_sort | theoretische informatik petri netze |
| topic | Computer science Computer software Combinatorics Logic, Symbolic and mathematical Computer Science Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Computation by Abstract Devices Mathematics of Computing Mathematical Logic and Foundations Informatik Petri-Netz (DE-588)4045388-1 gnd Formale Sprache (DE-588)4017848-1 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Erreichbarkeit (DE-588)4334087-8 gnd Interleaving (DE-588)4603410-9 gnd Berechenbarkeit (DE-588)4138368-0 gnd Entscheidbarkeit (DE-588)4152398-2 gnd |
| topic_facet | Computer science Computer software Combinatorics Logic, Symbolic and mathematical Computer Science Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Computation by Abstract Devices Mathematics of Computing Mathematical Logic and Foundations Informatik Petri-Netz Formale Sprache Nebenläufigkeit Erreichbarkeit Interleaving Berechenbarkeit Entscheidbarkeit |
| url | https://doi.org/10.1007/978-3-662-10427-9 |
| work_keys_str_mv | AT prieselutz theoretischeinformatikpetrinetze AT wimmelharro theoretischeinformatikpetrinetze AT prieselutz petrinetze AT wimmelharro petrinetze |