Dynamic analysis of Petri net-based discrete systems:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2007
|
| Schriftenreihe: | Lecture notes in control and information sciences
356 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 166 S. 235 mm x 155 mm |
| ISBN: | 9783540714644 3540714642 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV022454012 | ||
| 003 | DE-604 | ||
| 005 | 20071211 | ||
| 007 | t | ||
| 008 | 070606s2007 gw |||| 00||| eng d | ||
| 015 | |a 07,N14,0967 |2 dnb | ||
| 016 | 7 | |a 983484724 |2 DE-101 | |
| 020 | |a 9783540714644 |c : EUR 85.55 (freier Pr.), sfr 131.00 (freier Pr.) |9 978-3-540-71464-4 | ||
| 020 | |a 3540714642 |c : EUR 85.55 (freier Pr.), sfr 131.00 (freier Pr.) |9 3-540-71464-2 | ||
| 024 | 3 | |a 9783540714644 | |
| 028 | 5 | 2 | |a 11865797 |
| 035 | |a (OCoLC)127107439 | ||
| 035 | |a (DE-599)DNB983484724 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-706 |a DE-83 | ||
| 050 | 0 | |a QA267 | |
| 050 | 0 | |a TJ223.M53 | |
| 082 | 0 | |a 629.8 |2 22 | |
| 084 | |a SI 845 |0 (DE-625)143198: |2 rvk | ||
| 084 | |a 620 |2 sdnb | ||
| 100 | 1 | |a Karatkevich, Andrei |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Dynamic analysis of Petri net-based discrete systems |c Andrei Karatkevich |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2007 | |
| 300 | |a 166 S. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in control and information sciences |v 356 | |
| 650 | 4 | |a Discrete-time systems | |
| 650 | 4 | |a Parallel processing (Electronic computers) | |
| 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 Parallelverarbeitung |0 (DE-588)4075860-6 |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 Systementwurf |0 (DE-588)4261480-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zustandsgraph |0 (DE-588)4139305-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Systementwurf |0 (DE-588)4261480-6 |D s |
| 689 | 0 | 1 | |a Diskretes System |0 (DE-588)4401225-1 |D s |
| 689 | 0 | 2 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |D s |
| 689 | 0 | 3 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | 4 | |a Zustandsgraph |0 (DE-588)4139305-3 |D s |
| 689 | 0 | 5 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Lecture notes in control and information sciences |v 356 |w (DE-604)BV005848579 |9 356 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015661828&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015661828 | ||
Datensatz im Suchindex
| _version_ | 1804136534649077760 |
|---|---|
| adam_text | Contents
1. Introduction 1
1.1 Analysis of Parallel Discrete Systems 3
1.2 Preliminary Remarks 5
1.3 The Scope of the Book 6
2. Main Notions, Problems and Methods 9
2.1 Models and Specifications of Parallel Discrete Systems 9
2.1.1 Parallel Discrete Systems (General Definition) 9
2.1.2 Petri Nets and Their Extensions 10
2.1.3 Parallel and Sequent Automata 16
2.1.4 Sequential Function Charts 17
2.1.5 Statecharts 17
2.1.6 Finite State Machines and FSM Networks 20
2.2 The Tasks of Analysis 21
2.3 The Methods of Analysis 23
3. Reduced Reachability Graphs 27
3.1 Review of Known Methods 27
3.1.1 Persistent Set Methods 27
3.1.2 Other Methods 32
3.2 A Generalization of Stubborn Set Method 33
3.3 Weak Persistent Sets 34
3.4 On Combining the Persistent Set Approach and Concurrent
Simulation 37
3.4.1 Concurrent Simulation and Persistent Sets 37
3.4.2 Comparison with the Janicki Koutny s Method 39
3.4.3 Conflicts, State Explosion and Decomposition 41
3.5 Analysis of Special Classes of Petri Nets 42
3.5.1 Properties and Analysis of a Nets 42
3.5.2 A Hypothesis on EFC Nets 53
3.5.3 Analysis of s Nets 53
3.6 Minimization of Space 56
XII Contents
3.6.1 Dynamic Reduction of Reachability Graphs 57
3.6.2 Reducing the Space for Various Analysis Tasks 59
3.6.3 Example 60
3.6.4 Conclusive Notes on the Method 61
4. Decomposition for Analysis 63
4.1 Block Decomposition 63
4.1.1 Operational Petri Nets 63
4.1.2 Analysis of Operational Petri Nets 64
4.1.3 Analysis of a Class of Cyclic Nets 66
4.1.4 Example and Experimental Results 67
4.2 Hierarchical Decomposition 69
4.2.1 A Conception of Hierarchical Decomposition
of Petri Nets 70
4.2.2 Properties of P Decomposition 74
4.2.3 Finding P Blocks 75
4.3 Decomposition and Persistent Sets 78
4.4 Parallel Analysis 79
4.5 Distributed Analysis 82
4.5.1 A Method of Distributed Analysis 82
4.5.2 Implementation of the Method 84
4.5.3 Experimental Results and Concluding Remarks 85
5. Analysis by Solving Logical Equations — Calculation of
Siphons and TVaps 87
5.1 Known Methods of Calculation of Siphons and Traps 88
5.1.1 Calculation of Siphons and Traps by Means of Solving
Logical Equations 88
5.1.2 Other Approaches to Calculation
of Siphons and Traps 89
5.2 Algorithm to Find Siphons and Traps 90
5.3 Example 91
5.3.1 The Proposed Method 91
5.3.2 Some Other Symbolic Methods 92
5.3.3 The Linear Algebraic Method 92
5.4 Concluding Remarks 93
6. Verification of Detailed System Descriptions 95
6.1 Application of the Described Approaches to Other Parallel
Discrete Models 95
6.1.1 Interpreted Petri Nets and Sequent Automata 95
6.1.2 Statecharts 102
6.1.3 FSM Networks 108
6.2 Verification of Parallel Automata Implementation 113
6.2.1 Testing Approach 113
6.2.2 Analytical Approach 117
Contents XIII
7. Conclusion 123
Acknowledgments 127
A. A Theorem on the Stubborn Set Method 129
B. Decyclization of the Oriented Graphs 131
C. Intersecting P Blocks 135
D. Improvements of Thelen s Prime Implicant Method 137
D.I Introduction 137
D.2 Thelen s Method 138
D.3 Heuristics for Thelen s Method 139
References 145
Index 161
|
| adam_txt |
Contents
1. Introduction 1
1.1 Analysis of Parallel Discrete Systems 3
1.2 Preliminary Remarks 5
1.3 The Scope of the Book 6
2. Main Notions, Problems and Methods 9
2.1 Models and Specifications of Parallel Discrete Systems 9
2.1.1 Parallel Discrete Systems (General Definition) 9
2.1.2 Petri Nets and Their Extensions 10
2.1.3 Parallel and Sequent Automata 16
2.1.4 Sequential Function Charts 17
2.1.5 Statecharts 17
2.1.6 Finite State Machines and FSM Networks 20
2.2 The Tasks of Analysis 21
2.3 The Methods of Analysis 23
3. Reduced Reachability Graphs 27
3.1 Review of Known Methods 27
3.1.1 Persistent Set Methods 27
3.1.2 Other Methods 32
3.2 A Generalization of Stubborn Set Method 33
3.3 Weak Persistent Sets 34
3.4 On Combining the Persistent Set Approach and Concurrent
Simulation 37
3.4.1 Concurrent Simulation and Persistent Sets 37
3.4.2 Comparison with the Janicki Koutny's Method 39
3.4.3 Conflicts, State Explosion and Decomposition 41
3.5 Analysis of Special Classes of Petri Nets 42
3.5.1 Properties and Analysis of a Nets 42
3.5.2 A Hypothesis on EFC Nets 53
3.5.3 Analysis of s Nets 53
3.6 Minimization of Space 56
XII Contents
3.6.1 Dynamic Reduction of Reachability Graphs 57
3.6.2 Reducing the Space for Various Analysis Tasks 59
3.6.3 Example 60
3.6.4 Conclusive Notes on the Method 61
4. Decomposition for Analysis 63
4.1 Block Decomposition 63
4.1.1 Operational Petri Nets 63
4.1.2 Analysis of Operational Petri Nets 64
4.1.3 Analysis of a Class of Cyclic Nets 66
4.1.4 Example and Experimental Results 67
4.2 Hierarchical Decomposition 69
4.2.1 A Conception of Hierarchical Decomposition
of Petri Nets 70
4.2.2 Properties of P Decomposition 74
4.2.3 Finding P Blocks 75
4.3 Decomposition and Persistent Sets 78
4.4 Parallel Analysis 79
4.5 Distributed Analysis 82
4.5.1 A Method of Distributed Analysis 82
4.5.2 Implementation of the Method 84
4.5.3 Experimental Results and Concluding Remarks 85
5. Analysis by Solving Logical Equations — Calculation of
Siphons and TVaps 87
5.1 Known Methods of Calculation of Siphons and Traps 88
5.1.1 Calculation of Siphons and Traps by Means of Solving
Logical Equations 88
5.1.2 Other Approaches to Calculation
of Siphons and Traps 89
5.2 Algorithm to Find Siphons and Traps 90
5.3 Example 91
5.3.1 The Proposed Method 91
5.3.2 Some Other Symbolic Methods 92
5.3.3 The Linear Algebraic Method 92
5.4 Concluding Remarks 93
6. Verification of Detailed System Descriptions 95
6.1 Application of the Described Approaches to Other Parallel
Discrete Models 95
6.1.1 Interpreted Petri Nets and Sequent Automata 95
6.1.2 Statecharts 102
6.1.3 FSM Networks 108
6.2 Verification of Parallel Automata Implementation 113
6.2.1 Testing Approach 113
6.2.2 Analytical Approach 117
Contents XIII
7. Conclusion 123
Acknowledgments 127
A. A Theorem on the Stubborn Set Method 129
B. Decyclization of the Oriented Graphs 131
C. Intersecting P Blocks 135
D. Improvements of Thelen's Prime Implicant Method 137
D.I Introduction 137
D.2 Thelen's Method 138
D.3 Heuristics for Thelen's Method 139
References 145
Index 161 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Karatkevich, Andrei |
| author_facet | Karatkevich, Andrei |
| author_role | aut |
| author_sort | Karatkevich, Andrei |
| author_variant | a k ak |
| building | Verbundindex |
| bvnumber | BV022454012 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267 TJ223.M53 |
| callnumber-search | QA267 TJ223.M53 |
| callnumber-sort | QA 3267 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SI 845 |
| ctrlnum | (OCoLC)127107439 (DE-599)DNB983484724 |
| dewey-full | 629.8 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 629 - Other branches of engineering |
| dewey-raw | 629.8 |
| dewey-search | 629.8 |
| dewey-sort | 3629.8 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Maschinenbau / Maschinenwesen Mathematik Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik / Mechatronik |
| discipline_str_mv | Maschinenbau / Maschinenwesen Mathematik Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik / Mechatronik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02455nam a2200613 cb4500</leader><controlfield tag="001">BV022454012</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20071211 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">070606s2007 gw |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N14,0967</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">983484724</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540714644</subfield><subfield code="c">: EUR 85.55 (freier Pr.), sfr 131.00 (freier Pr.)</subfield><subfield code="9">978-3-540-71464-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540714642</subfield><subfield code="c">: EUR 85.55 (freier Pr.), sfr 131.00 (freier Pr.)</subfield><subfield code="9">3-540-71464-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540714644</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11865797</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)127107439</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB983484724</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-706</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TJ223.M53</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">629.8</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 845</subfield><subfield code="0">(DE-625)143198:</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">Karatkevich, Andrei</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Dynamic analysis of Petri net-based discrete systems</subfield><subfield code="c">Andrei Karatkevich</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">166 S.</subfield><subfield code="c">235 mm x 155 mm</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="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in control and information sciences</subfield><subfield code="v">356</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Discrete-time systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel processing (Electronic computers)</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">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</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">Systementwurf</subfield><subfield code="0">(DE-588)4261480-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zustandsgraph</subfield><subfield code="0">(DE-588)4139305-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Systementwurf</subfield><subfield code="0">(DE-588)4261480-6</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">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><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="4"><subfield code="a">Zustandsgraph</subfield><subfield code="0">(DE-588)4139305-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in control and information sciences</subfield><subfield code="v">356</subfield><subfield code="w">(DE-604)BV005848579</subfield><subfield code="9">356</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=015661828&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015661828</subfield></datafield></record></collection> |
| id | DE-604.BV022454012 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T17:37:38Z |
| indexdate | 2024-07-09T20:57:56Z |
| institution | BVB |
| isbn | 9783540714644 3540714642 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015661828 |
| oclc_num | 127107439 |
| open_access_boolean | |
| owner | DE-706 DE-83 |
| owner_facet | DE-706 DE-83 |
| physical | 166 S. 235 mm x 155 mm |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in control and information sciences |
| series2 | Lecture notes in control and information sciences |
| spelling | Karatkevich, Andrei Verfasser aut Dynamic analysis of Petri net-based discrete systems Andrei Karatkevich Berlin [u.a.] Springer 2007 166 S. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture notes in control and information sciences 356 Discrete-time systems Parallel processing (Electronic computers) Petri nets Petri-Netz (DE-588)4045388-1 gnd rswk-swf Parallelverarbeitung (DE-588)4075860-6 gnd rswk-swf Diskretes System (DE-588)4401225-1 gnd rswk-swf Systementwurf (DE-588)4261480-6 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Zustandsgraph (DE-588)4139305-3 gnd rswk-swf Systementwurf (DE-588)4261480-6 s Diskretes System (DE-588)4401225-1 s Parallelverarbeitung (DE-588)4075860-6 s Petri-Netz (DE-588)4045388-1 s Zustandsgraph (DE-588)4139305-3 s Formale Methode (DE-588)4333722-3 s DE-604 Lecture notes in control and information sciences 356 (DE-604)BV005848579 356 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015661828&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Karatkevich, Andrei Dynamic analysis of Petri net-based discrete systems Lecture notes in control and information sciences Discrete-time systems Parallel processing (Electronic computers) Petri nets Petri-Netz (DE-588)4045388-1 gnd Parallelverarbeitung (DE-588)4075860-6 gnd Diskretes System (DE-588)4401225-1 gnd Systementwurf (DE-588)4261480-6 gnd Formale Methode (DE-588)4333722-3 gnd Zustandsgraph (DE-588)4139305-3 gnd |
| subject_GND | (DE-588)4045388-1 (DE-588)4075860-6 (DE-588)4401225-1 (DE-588)4261480-6 (DE-588)4333722-3 (DE-588)4139305-3 |
| title | Dynamic analysis of Petri net-based discrete systems |
| title_auth | Dynamic analysis of Petri net-based discrete systems |
| title_exact_search | Dynamic analysis of Petri net-based discrete systems |
| title_exact_search_txtP | Dynamic analysis of Petri net-based discrete systems |
| title_full | Dynamic analysis of Petri net-based discrete systems Andrei Karatkevich |
| title_fullStr | Dynamic analysis of Petri net-based discrete systems Andrei Karatkevich |
| title_full_unstemmed | Dynamic analysis of Petri net-based discrete systems Andrei Karatkevich |
| title_short | Dynamic analysis of Petri net-based discrete systems |
| title_sort | dynamic analysis of petri net based discrete systems |
| topic | Discrete-time systems Parallel processing (Electronic computers) Petri nets Petri-Netz (DE-588)4045388-1 gnd Parallelverarbeitung (DE-588)4075860-6 gnd Diskretes System (DE-588)4401225-1 gnd Systementwurf (DE-588)4261480-6 gnd Formale Methode (DE-588)4333722-3 gnd Zustandsgraph (DE-588)4139305-3 gnd |
| topic_facet | Discrete-time systems Parallel processing (Electronic computers) Petri nets Petri-Netz Parallelverarbeitung Diskretes System Systementwurf Formale Methode Zustandsgraph |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015661828&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV005848579 |
| work_keys_str_mv | AT karatkevichandrei dynamicanalysisofpetrinetbaseddiscretesystems |