Discrete, continuous, and hybrid Petri Nets:
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Berlin
Springer
2010
|
| Ausgabe: | 2. ed. |
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018995910&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Umfang: | XXII, 550 S. Ill., graph. Darst. |
| ISBN: | 9783642106682 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV036105639 | ||
| 003 | DE-604 | ||
| 005 | 20100510 | ||
| 007 | t| | ||
| 008 | 100401s2010 gw ad|| |||| 00||| eng d | ||
| 015 | |a 09,N48,0573 |2 dnb | ||
| 016 | 7 | |a 998030694 |2 DE-101 | |
| 020 | |a 9783642106682 |c GB. : ca. EUR 106.95 (freier Pr.), ca. sfr 166.00 (freier Pr.) |9 978-3-642-10668-2 | ||
| 024 | 3 | |a 9783642106682 | |
| 028 | 5 | 2 | |a 12612208 |
| 035 | |a (OCoLC)495599088 | ||
| 035 | |a (DE-599)DNB998030694 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-Aug4 |a DE-20 |a DE-703 | ||
| 050 | 0 | |a QA267 | |
| 082 | 0 | |a 511.35 |2 22 | |
| 084 | |a ST 132 |0 (DE-625)143589: |2 rvk | ||
| 084 | |a ST 134 |0 (DE-625)143590: |2 rvk | ||
| 084 | |a 620 |2 sdnb | ||
| 100 | 1 | |a David, René |d 1939- |e Verfasser |0 (DE-588)12446999X |4 aut | |
| 245 | 1 | 0 | |a Discrete, continuous, and hybrid Petri Nets |c René David and Hassane Alla |
| 250 | |a 2. ed. | ||
| 264 | 1 | |a Berlin |b Springer |c 2010 | |
| 300 | |a XXII, 550 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Petri nets | |
| 650 | 0 | 7 | |a Petri-Netz |0 (DE-588)4045388-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Diskretes System |0 (DE-588)4401225-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Hybrides System |0 (DE-588)4510314-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zeitbewertetes Petri-Netz |0 (DE-588)4545188-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kontinuierliches System |0 (DE-588)4263504-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | 1 | |a Diskretes System |0 (DE-588)4401225-1 |D s |
| 689 | 0 | 2 | |a Kontinuierliches System |0 (DE-588)4263504-4 |D s |
| 689 | 0 | 3 | |a Hybrides System |0 (DE-588)4510314-8 |D s |
| 689 | 0 | |5 DE-101 | |
| 689 | 1 | 0 | |a Zeitbewertetes Petri-Netz |0 (DE-588)4545188-6 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Alla, Hassane |e Verfasser |4 aut | |
| 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=018995910&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 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-018995910 | |
Datensatz im Suchindex
| _version_ | 1819333932925059072 |
|---|---|
| adam_text | CONTENTS FOREWORD BY MANUEL SILVA PREFACE CONTENTS NOTATION 1 BASES OF
PETRI NETS 1.1 BASIC CONCEPTS 1.1.1 PLACES, TRANSITIONS, AND ARCS . 1.2
MARKING .1.3 FIRING OF A TRANSITION .1.4 AUTONOMOUS AND NON-AUTONOMOUS
PETRI NETS . 1.5 THE ESSENTIAL CHARACTERISTICS 1.2 SPECIAL PETRI NETS
1.2.1 PARTICULAR STRUCTURES 1.2.1.1 STATE GRAPH 1.2.1.2 EVENT GRAPH
1.2.1.3 CONFLICT FREE PETRI NET 1.2.1.4 FREE CHOICE PETRI NET 1.2.1.5
SIMPLE PETRI NET 1.2.1.6 PURE PETRI NET 1.2.2 ABBREVIATIONS AND
EXTENSIONS 1.2.2.1 GENERALIZED PETRI NETS 1.2.2.2 FINITE CAPACITY PETRI
NETS 1.2.2.3 COLORED PETRI NETS 1.2.2.4 EXTENDED PETRI NETS 1.2.2.5
PRIORITY PETRI NETS 1.2.2.6 NON-AUTONOMOUS PETRI NETS 1.2.2.7 CONTINUOUS
AND HYBRID PETRI NETS 1.2.2.8 CONCLUSION 1.3 MODELING OF SOME CONCEPTS
NOTES AND REFERENCES 2 PROPERTIES OF PETRI NETS 2.1 PRESENTATION OF THE
MAIN PROPERTIES 2.1.1 NOTATIONS AND DEFINITIONS V IX XIII IXX 1 1 1 2 3
4 5 6 7 7 8 8 8 9 BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/998030694 DIGITALISIERT DURCH XIV CONTENT 2.1.2 BOUNDED
PETRI NET, SAFE PETRI NET 24 2.1.3 LI VENESS AND DEADLOCK 25 2.1.4
CONFLICTS 30 2.1.4.1 EFFECTIVE CONFLICT 30 2.1.4.2 CONCURRENCY AND
MULTIPLE FIRING 30 2.1.4.3 PERSISTENCE 32 2.1.4.4 ENABLING DEGREE AND
GENERAL CONFLICT 32 2.1.5 INVARIANTS 34 2.1.5.1 CONSERVATIVE COMPONENT
34 2.1.5.2 REPETITIVE COMPONENT 35 2.2 SEEKING THE PROPERTIES OF PETRI
NETS 37 2.2.1 GRAPH OF MARKINGS AND COVERABILITY ROOT TREE 38 2.2.1.1
GRAPH OF MARKINGS 38 2.2.1.2 COVERABILITY ROOT TREE 39 2.2.2 LINEAR
ALGEBRA 42 2.2.2.1 NOTATIONS AND DEFINITIONS 42 2.2.2.2 FUNDAMENTAL
EQUATION 44 2.2.2.3 CONSERVATIVE COMPONENTS & MARKING INVARIANTS 46
2.2.2.4 REPETITIVE COMPONENTS & FIRING INVARIANTS 49 2.2.2.5 SEEKING
P-INVARIANTS AND T-INVARIANTS 50 2.2.3 REDUCTION METHODS PRESERVING SOME
PROPERTIES 52 2.2.4 OTHER RESULTS 53 2.2.4.1 STRONGLY CONNECTED EVENT
GRAPHS 53 2.2.4.2 SIPHONS AND TRAPS 54 2.2.4.3 LIVENESS RELATED TO OTHER
PROPERTIES 56 2.2.5 CONCLUDING REMARKS 57 2.2.5.1 STRUCTURING 57 2.2.5.2
ANALYSIS SOFTWARE 59 NOTES AND REFERENCES 59 3 NON-AUTONOMOUS PETRI NETS
61 3.1 INTRODUCTION 61 3.2 SYNCHRONIZED PETRI NETS 63 3.2.1 PRINCIPLE 64
3.2.1.1 CONTENT X V 3.3.2 INTERPRETATION ALGORITHM OF A CONTROL
INTERPRETED PN 93 3.3.3 INTERPRETED PN WITHOUT OUTPUTS: GENERALIZATION
OF THE CONCEPT OF SYNCHRONIZED PN 96 3.4 TIMED PETRI NETS 98 3.4.1
GENERAL INFORMATION 98 3.4.2 CONSTANT TIMING 101 3.4.2.1 P-TIMED PETRI
NETS 101 3.4.2.2 T-TIMED PETRI NETS 103 3.4.2.3 STATIONARY BEHAVIOR 107
3.4.3 STOCHASTIC PETRI NETS 109 3.4.3.1 BASIC MODEL 109 3.4.3.2
GENERALIZED STOCHASTIC PETRI NET 112 3.4.3.3 ANALYSIS AND SIMULATION OF
STOCHASTIC PN S 113 NOTES AND REFERENCES 1 14 4 AUTONOMOUS CONTINUOUS
AND HYBRID PETRI NETS 117 4.1 MOTIVATION 117 4.2 AUTONOMOUS CONTINUOUS
PETRI NETS 119 4.2.1 FROM DISCRETE PETRI NET TO CONTINUOUS PETRI NET 119
4.2.2 DEFINITION 121 4.2.3 REACHABILITY AND CONFLICTS 123 4.2.3.1
REACHABILITY GRAPH 124 4.2.3.2 FIRING SEQUENCE AND REACHABILITY SPACE
126 4.2.3.3 CONFLICTS 128 4.2.4 COMMENTS ABOUT UNITS 129 4.3 AUTONOMOUS
HYBRID PETRI NETS 130 4.3.1 INTUITIVE PRESENTATION 131 4.3.2 DEFINITION
134 4.3.3 REACHABILITY AND CONFLICTS 137 4.3.3.1 REACHABILITY GRAPH 137
4.3.3.2 FIRING SEQUENCE AND REACHABILITY SPACE 141 4.3.3.3 CONFLICTS 142
4.4 PROPERTIES OF AUTONOMOUS CONTINUOUS AND HYBRID PETRI NETS 143 4.4.
XVI CONTENT 4.5 EXTENDED HYBRID PETRI NETS 153 4.5.1 THRESHOLD TEST 153
4.5.2 ZERO TEST AND ARC WEIGHT 0 + 154 4.5.3 MARKING 0 + 156 4.5.4
DEFINITION 157 NOTES AND REFERENCES 158 5 TIMED CONTINUOUS PETRI NETS
159 5.1 DEFINITION OF THE MODEL 159 5.1.1 LIMIT CASE OF A DISCRETE TIMED
PETRI NET 160 5.1.2 ANALYSIS OF SOME BASIC BEHAVIORS 161 5.1.2.1
SEQUENCES OF TRANSITIONS,SAME MAXIMAL SPEEDS 162 5.1.2.2 SEQUENCES OF
TRANSITIONS, DIFFERENT MAXIMAL SPEEDS 166 5.1.2.3 SYNCHRONIZATION 169
5.1.2.4 TIMED CONTINUOUS PETRI NET WITH A CIRCUIT 170 5.1.2.5 INFINITE
MAXIMAL SPEED 172 5.1.3 DEFINITIONS 174 5.1.3.1 DEFINITION AND NOTATION
174 5.1.3.2 ENABLING 175 5.1.3.3 BALANCE 177 5.1.3.4 EVOLUTION GRAPH 179
5.2 CONFLICTS 180 5.2.1 EXISTENCE OF AN ACTUAL CONFLICT 180 5.2.2
CONFLICT RESOLUTION 182 5.3 SPEED CALCULATION ALGORITHMS 184 5.3.1 THERE
IS NO STRUCTURAL CONFLICT 185 5.3.2 RESOLUTION BY PRIORITIES 187 5.3.2.1
EXPECTED RESULTS AND PROBLEMS TO BE SOLVED 187 5.3.2.2 SETTING UP THE
SET OF SURELY FIRABLE TRANSITIONS 191 5.3.2.3 ALGORITHM AND APPLICATION
195 5.3.3 RESOLUTION BY SHARINGS AND PRIORITIES 200 5.3.3.1 SINGLE
SHARING BETWEEN TWO TRANSITIONS 200 5.3.3.2 ONE OR SEVERAL SHARINGS
AMONG TRANSITIONS 203 5.3.3.3 CONTENT XVII 6 TIMED HYBRID PETRI NETS 231
6.1 DEFINITION OF THE MODEL 231 6.1.1 FLOW RATE AND MAXIMAL FIRING SPEED
232 6.1.2 ILLUSTRATIVE EXAMPLE 235 6.1.3 EVENTS TO BE CONSIDERED 237
6.1.4 CONFLICT RESOLUTIONS 238 6.1.5 FORMAL DEFINITIONS 241 6.1.5.1
DEFINITION AND NOTATIONS 241 6.1.5.2 ENABLING IN TIMED HYBRID PETRI NETS
243 6.1.5.3 EVOLUTION GRAPH 246 6.2 ALGORITHM 248 6.2.1 RESOLUTION FOR A
CASE 4 CONFLICT 249 6.2.1.1 RESOLUTION BY PRIORITY 249 6.2.1.2
RESOLUTION BY SHARING 251 6.2.1.3 ALGORITHMIC RESOLUTION 253 6.2.2
CONSEQUENCES OF VARIOUS EVENTS 254 6.2.3 TIMED HYBRID PNS AUTOMATICALLY
TREATED IN ALGORITHM 6.1 256 6.2.3.1 HYBRID PN RESTRICTED TO A
CONTINUOUS PN 256 6.2.3.2 CONSISTENCY OF RESOLUTION RULES 258 6.2.4
ALGORITHM FOR BUILDING THE EVOLUTION GRAPH 262 6.2.5 RESOLUTION OF A
CASE NOT TREATED BY ALGORITHM 6.1 268 6.3 VARIANTS OF THE MODEL 269
6.3.1 SYNCHRONIZED D-TRANSITIONS 270 6.3.2 STOCHASTIC TIMINGS FOR
D-TRANSITIONS 273 6.3.3 HYBRID PETRI NETS WITH TIME TRANSITIONS 274
6.3.4 C-TRANSITIONS WITH FLOW RATES FUNCTIONS OF TIME 275 6.3.5 COLORED
HYBRID PETRI NET 277 6.4 EXTENDED TIMED HYBRID PETRI NETS 278 6.4.1
MODELING OF ZERO BUFFERS 279 6.4.2 ARC WEIGHT 0 + FOR TESTING IF A
C-PLACE IS EMPTY 282 6.4. XVIII CONTENI 7.1.4 APPLICATION EXAMPLES 310
7.1.4.1 EXAMPLE 1 310 7.1.4.2 EXAMPLE 2 312 7.2 ASYMPTOTIC HYBRID PETRI
NETS (AHPNS) 316 7.2.1 A C-TRANSITION HAS A SINGLE INPUT C-PLACE 316
7.2.1.1 CONSTANT FEEDING SPEED OF INPUT C-PLACE 316 7.2.1.2 CHANGE OF
FEEDING SPEED OF THE INPUT C-PLACE 319 7.2.2 SEVERAL INPUT C-PLACES 321
7.2.3 GENERALIZATION 323 7.2.4 DIFFERENCES BETWEEN VHPN AND AHPN
BEHAVIORS 326 7.3 OTHER MODELS 330 7.3.1 LIQUID FLOW 330 7.3.2
DIFFERENTIAL HYBRID PETRI NETS 331 7.3.3 TRANSFER LINE WITH
OPERATION-DEPENDENT FAILURES 335 NOTES AND REFERENCES 336 POSTFACE 339
APPENDICES 345 A REGULAR EXPRESSIONS AND LANGUAGES 345 B CONFLICT
RESOLUTION 347 C ELEMENTS OF GRAPH THEORY 351 D ALGEBRA OF EVENTS 353 E
ABOUT GRAFCET 357 F MODELING POWER OF SYNCHRONIZED PETRI NETS 363 G
TIMED PNS ARE SPECIAL CASES OF SYNCHRONIZED PETRI NETS 365 H TIME PETRI
NETS 371 I LINEARITY OF THE FUNDAMENTAL EQUATION FOR CONTINUOUS PETRI
NETS 375 J NOTATION 0 + AND NON-STANDARD ANALYSIS 379 K SHARING BETWEEN
TWO TRANSITIONS 381 L GRAPH OF RELATIONS AMONG CONFLICTS 387 M PIECEWISE
CONSTANT MAXIMAL SPEEDS 391 N FROM HYBRID PETRI NETS TO HYBRID AUTOMATA
399 O P&T-TIMED PETRI NETS AND MODELING POWER 405 EXERCISE
|
| any_adam_object | 1 |
| author | David, René 1939- Alla, Hassane |
| author_GND | (DE-588)12446999X |
| author_facet | David, René 1939- Alla, Hassane |
| author_role | aut aut |
| author_sort | David, René 1939- |
| author_variant | r d rd h a ha |
| building | Verbundindex |
| bvnumber | BV036105639 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267 |
| callnumber-search | QA267 |
| callnumber-sort | QA 3267 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 132 ST 134 |
| ctrlnum | (OCoLC)495599088 (DE-599)DNB998030694 |
| dewey-full | 511.35 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.35 |
| dewey-search | 511.35 |
| dewey-sort | 3511.35 |
| dewey-tens | 510 - Mathematics |
| discipline | Maschinenbau / Maschinenwesen Informatik Mathematik |
| edition | 2. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02260nam a2200577 c 4500</leader><controlfield tag="001">BV036105639</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100510 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100401s2010 gw ad|| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N48,0573</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">998030694</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642106682</subfield><subfield code="c">GB. : ca. EUR 106.95 (freier Pr.), ca. sfr 166.00 (freier Pr.)</subfield><subfield code="9">978-3-642-10668-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642106682</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12612208</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)495599088</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB998030694</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-Aug4</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.35</subfield><subfield code="2">22</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">ST 134</subfield><subfield code="0">(DE-625)143590:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">620</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">David, René</subfield><subfield code="d">1939-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)12446999X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Discrete, continuous, and hybrid Petri Nets</subfield><subfield code="c">René David and Hassane Alla</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXII, 550 S.</subfield><subfield code="b">Ill., graph. Darst.</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=" " ind2="4"><subfield code="a">Petri nets</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">Diskretes System</subfield><subfield code="0">(DE-588)4401225-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hybrides System</subfield><subfield code="0">(DE-588)4510314-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="650" ind1="0" ind2="7"><subfield code="a">Kontinuierliches System</subfield><subfield code="0">(DE-588)4263504-4</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">Diskretes System</subfield><subfield code="0">(DE-588)4401225-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Kontinuierliches System</subfield><subfield code="0">(DE-588)4263504-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Hybrides System</subfield><subfield code="0">(DE-588)4510314-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-101</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Alla, Hassane</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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=018995910&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</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-018995910</subfield></datafield></record></collection> |
| id | DE-604.BV036105639 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T14:07:01Z |
| institution | BVB |
| isbn | 9783642106682 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018995910 |
| oclc_num | 495599088 |
| open_access_boolean | |
| owner | DE-Aug4 DE-20 DE-703 |
| owner_facet | DE-Aug4 DE-20 DE-703 |
| physical | XXII, 550 S. Ill., graph. Darst. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| spellingShingle | David, René 1939- Alla, Hassane Discrete, continuous, and hybrid Petri Nets Petri nets Petri-Netz (DE-588)4045388-1 gnd Diskretes System (DE-588)4401225-1 gnd Hybrides System (DE-588)4510314-8 gnd Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd Kontinuierliches System (DE-588)4263504-4 gnd |
| subject_GND | (DE-588)4045388-1 (DE-588)4401225-1 (DE-588)4510314-8 (DE-588)4545188-6 (DE-588)4263504-4 |
| title | Discrete, continuous, and hybrid Petri Nets |
| title_auth | Discrete, continuous, and hybrid Petri Nets |
| title_exact_search | Discrete, continuous, and hybrid Petri Nets |
| title_full | Discrete, continuous, and hybrid Petri Nets René David and Hassane Alla |
| title_fullStr | Discrete, continuous, and hybrid Petri Nets René David and Hassane Alla |
| title_full_unstemmed | Discrete, continuous, and hybrid Petri Nets René David and Hassane Alla |
| title_short | Discrete, continuous, and hybrid Petri Nets |
| title_sort | discrete continuous and hybrid petri nets |
| topic | Petri nets Petri-Netz (DE-588)4045388-1 gnd Diskretes System (DE-588)4401225-1 gnd Hybrides System (DE-588)4510314-8 gnd Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd Kontinuierliches System (DE-588)4263504-4 gnd |
| topic_facet | Petri nets Petri-Netz Diskretes System Hybrides System Zeitbewertetes Petri-Netz Kontinuierliches System |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018995910&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT davidrene discretecontinuousandhybridpetrinets AT allahassane discretecontinuousandhybridpetrinets |