Time and Petri Nets:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | XIV, 209 S. Ill. |
| ISBN: | 9783642411144 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV041460800 | ||
| 003 | DE-604 | ||
| 005 | 20161229 | ||
| 007 | t | ||
| 008 | 131204s2013 gw a||| |||| 00||| eng d | ||
| 016 | 7 | |a 1041796803 |2 DE-101 | |
| 020 | |a 9783642411144 |9 978-3-642-41114-4 | ||
| 035 | |a (OCoLC)858935085 | ||
| 035 | |a (DE-599)DNB1041796803 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-11 |a DE-739 |a DE-522 | ||
| 082 | 0 | |a 004.0151135 |2 22/ger | |
| 084 | |a ST 132 |0 (DE-625)143589: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a 510 |2 sdnb | ||
| 100 | 1 | |a Popova-Zeugmann, Louchka |d 1955- |e Verfasser |0 (DE-588)1067167994 |4 aut | |
| 245 | 1 | 0 | |a Time and Petri Nets |c Louchka Popova-Zeugmann |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a XIV, 209 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Zeitbewertetes Petri-Netz |0 (DE-588)4545188-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Zeitbewertetes Petri-Netz |0 (DE-588)4545188-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4442843&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026907163&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-026907163 | |
Datensatz im Suchindex
| _version_ | 1806326542205190144 |
|---|---|
| adam_text |
CONTENTS
PREFACE V
1 INTRODUCTION 1
NOTATION 6
2 THE CLASSIC PETRI NET 7
2.1 DEFINITIONS 7
2.2 STATE SPACE 13
2.3 PN-COMPUTABILITY 17
2.4 BASIC PROPERIES 20
2.5 BIBLIOGRAPHICAL NOTES 26
2.6 EXERCISES 28
3 TIME PETRI NETS 31
3.1 BASIC NOTIONS 31
3.2 STATE SPACE 37
3.3 TPN-COMPUTABILITY 38
3.4 STATE SPACE REDUCTION 45
3.5 RG FOR FINITE TPN 72
3.6 RG FOR INFINITE TPN 78
HTTP://D-NB.INFO/1041796803
X
CONTENTS
3.7 QUALITATIVE PROPERTIES 89
3.7.1 REACHABILITY 89
3.7.2 LIVENESS 94
3.7.3 T-INVARIANTS 117
3.8 QUANTITATIVE EVALUATION 118
3.8.1 UNBOUNDED TPN 122
3.8.2 BOUNDED TPN 128
3.9 BIBLIOGRAPHICAL NOTES 133
3.10 EXERCISES 135
4 TIMED PETRI NETS 139
4.1 DEFINITIONS 140
4.2 TIMED PN AND COUNTER MACHINES 146
4.3 TRANSFORMATION OF A TIMED PN INTO A TIME PN 148
4.4 STATE EQUATIONS 151
4.5 VARIATIONS OF TIMED PN 165
4.5.1 TIMED PN WITH PRIORITIES 165
4.5.2 TIMED PN WITH VARIABLE DURATIONS 168
4.6 BIBLIOGRAPHICAL NOTES 170
4.7 EXERCISES 171
5 PETRI NETS WITH TIME WINDOWS 173
5.1 DEFINITIONS 174
*5.2 REACHABILITY 178
*5.3 TW-PETRI NETS AND COUNTER MACHINES 186
*5.4 LIVENESS 188
5.5 BIBLIOGRAPHICAL NOTES 188
5.6 EXERCISES 190
CONTENTS
XI
A 191
A.L APPENDIX ON TIME PETRI NETS 191
BIBLIOGRAPHY 199
INDEX 207 |
| any_adam_object | 1 |
| author | Popova-Zeugmann, Louchka 1955- |
| author_GND | (DE-588)1067167994 |
| author_facet | Popova-Zeugmann, Louchka 1955- |
| author_role | aut |
| author_sort | Popova-Zeugmann, Louchka 1955- |
| author_variant | l p z lpz |
| building | Verbundindex |
| bvnumber | BV041460800 |
| classification_rvk | ST 132 |
| ctrlnum | (OCoLC)858935085 (DE-599)DNB1041796803 |
| dewey-full | 004.0151135 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151135 |
| dewey-search | 004.0151135 |
| dewey-sort | 14.0151135 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| format | 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">BV041460800</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20161229</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">131204s2013 gw a||| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1041796803</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642411144</subfield><subfield code="9">978-3-642-41114-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)858935085</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1041796803</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-522</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151135</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 132</subfield><subfield code="0">(DE-625)143589:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Popova-Zeugmann, Louchka</subfield><subfield code="d">1955-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1067167994</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Time and Petri Nets</subfield><subfield code="c">Louchka Popova-Zeugmann</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 209 S.</subfield><subfield code="b">Ill.</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="650" ind1="0" ind2="7"><subfield code="a">Zeitbewertetes Petri-Netz</subfield><subfield code="0">(DE-588)4545188-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Zeitbewertetes Petri-Netz</subfield><subfield code="0">(DE-588)4545188-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4442843&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026907163&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026907163</subfield></datafield></record></collection> |
| id | DE-604.BV041460800 |
| illustrated | Illustrated |
| indexdate | 2024-08-03T01:07:08Z |
| institution | BVB |
| isbn | 9783642411144 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026907163 |
| oclc_num | 858935085 |
| open_access_boolean | |
| owner | DE-11 DE-739 DE-522 |
| owner_facet | DE-11 DE-739 DE-522 |
| physical | XIV, 209 S. Ill. |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| spelling | Popova-Zeugmann, Louchka 1955- Verfasser (DE-588)1067167994 aut Time and Petri Nets Louchka Popova-Zeugmann Berlin [u.a.] Springer 2013 XIV, 209 S. Ill. txt rdacontent n rdamedia nc rdacarrier Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd rswk-swf Zeitbewertetes Petri-Netz (DE-588)4545188-6 s DE-604 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4442843&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026907163&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Popova-Zeugmann, Louchka 1955- Time and Petri Nets Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd |
| subject_GND | (DE-588)4545188-6 |
| title | Time and Petri Nets |
| title_auth | Time and Petri Nets |
| title_exact_search | Time and Petri Nets |
| title_full | Time and Petri Nets Louchka Popova-Zeugmann |
| title_fullStr | Time and Petri Nets Louchka Popova-Zeugmann |
| title_full_unstemmed | Time and Petri Nets Louchka Popova-Zeugmann |
| title_short | Time and Petri Nets |
| title_sort | time and petri nets |
| topic | Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd |
| topic_facet | Zeitbewertetes Petri-Netz |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4442843&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026907163&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT popovazeugmannlouchka timeandpetrinets |