Petri net synthesis:
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin ; Heidelberg
Springer
[2015]
|
| Series: | Texts in theoretical computer science
|
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Physical Description: | XIII, 339 Seiten Diagramme |
| ISBN: | 9783662479667 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV043049111 | ||
| 003 | DE-604 | ||
| 005 | 20211020 | ||
| 007 | t | ||
| 008 | 151124s2015 gw |||| |||| 00||| eng d | ||
| 015 | |a 15,N27 |2 dnb | ||
| 016 | 7 | |a 1072559978 |2 DE-101 | |
| 020 | |a 9783662479667 |c hbk |9 978-3-662-47966-7 | ||
| 035 | |a (OCoLC)934669534 | ||
| 035 | |a (DE-599)DNB1072559978 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-11 |a DE-384 | ||
| 082 | 0 | |a 004 |2 23 | |
| 084 | |a ST 132 |0 (DE-625)143589: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Badouel, Eric |e Verfasser |0 (DE-588)1084027011 |4 aut | |
| 245 | 1 | 0 | |a Petri net synthesis |c Eric Badouel, Luca Bernardinello, Philippe Darondeau |
| 264 | 1 | |a Berlin ; Heidelberg |b Springer |c [2015] | |
| 264 | 4 | |c © 2015 | |
| 300 | |a XIII, 339 Seiten |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Texts in theoretical computer science | |
| 650 | 0 | 7 | |a Petri-Netz |0 (DE-588)4045388-1 |2 gnd |9 rswk-swf |
| 653 | |a Graduate | ||
| 653 | |a Petri Nets | ||
| 653 | |a Net Synthesis | ||
| 653 | |a Concurrency | ||
| 653 | |a Process Discovery | ||
| 653 | |a Supervisory Control | ||
| 689 | 0 | 0 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Bernardinello, Luca |e Verfasser |0 (DE-588)1084027712 |4 aut | |
| 700 | 1 | |a Darondeau, Philippe |e Verfasser |0 (DE-588)1084027224 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe, eBook |z 978-3-662-47967-4 |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=5295695&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=028473534&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-028473534 | |
Record in the Search Index
| _version_ | 1806332867322576896 |
|---|---|
| adam_text |
CONTENTS
INTRODUCTION 1
PART I ELEMENTARY NET SYNTHESIS
1 INTRODUCTION TO ELEMENTARY NET SYNTHESIS 15
1.1 AN INFORMAL INTRODUCTION TO ELEMENTARY NETS 15
1.2 ELEMENTARY NET SYSTEMS AND THEIR FIRING RULE 17
1.3 REGIONS AND ELEMENTARY TRANSITION SYSTEMS 24
1.4 ADMISSIBLE SETS OF REGIONS AND THE SEPARATION AXIOMS 35
1.5 MINIMAL REGIONS ARE SUFFICIENT FOR SYNTHESIS 42
1.6 MINIMAL ADMISSIBLE SETS OF REGIONS 45
1.7 REGIONS AND STATE MACHINE DECOMPOSITIONS 48
1.8 REGIONS OF LABELLED PARTIAL 2-STRUCTURES F 51
PROBLEMS 56
FURTHER READING 58
2 OTHER FORMS OF THE SYNTHESIS PROBLEM 59
2.1 CANONICAL NET VERSIONS YIELD OPTIMAL REALIZATIONS 59
2.2 RELAXING THE STATE SEPARATION PROPERTY 66
2.3 NET SYNTHESIS FROM LANGUAGES 72
2.4 MINIMAL REGIONS AND
1
APPROXIMATE SYNTHESIS 78
2.5 MINIMAL REGIONS AND SYNTHESIS UP TO LANGUAGE EQUIVALENCE . 80
PROBLEMS 81
3 ALGORITHMS OF ELEMENTARY NET SYNTHESIS 83
3.1 NP-COMPLETENESS OF SYNTHESIS
| 83
3.1.1 THE SEPARATION PROBLEMS ARE TVP-COMPLETE 84
3.1.2 THE ELEMENTARY NET SYNTHESIS PROBLEM IS NP-COMPLETE 87
3.2 ALGORITHMS OF ELEMENTARY NET SYNTHESIS 90
3.2.1 ROUGH SETS 91
XI
HTTP://D-NB.INFO/1072559978
XII CONTENTS
3.2.2 SIGNATURES OF ROUGH SETS 95
3.2.3 ROUGH REGIONS 98
3.2.4 EXTRACTING REGIONS FROM A ROUGH REGION 101
3.2.5 NET SYNTHESIS ALGORITHMS 103
3.2.6 THE HEURISTIC APPROACH OF PETRIFY 107
PROBLEMS 109
PART II TYPES OF NETS
4 VARIATIONS OF ELEMENTARY NET SYNTHESIS 121
4.1 THE SYNTHESIS OF EVENT/CONDITION NETS 121
4.2 TYPES OF NETS 129
4.3 REGIONS AS MORPHISMS AND SYNTHESIZED NETS 136
4.4 BOOLEAN NETS F 139
PROBLEMS 147
5 A UNIFIED THEORY OF NET SYNTHESIS 153
5.1 DUALITY BETWEEN NETS AND TRANSITION SYSTEMS 155
5.2 REPRESENTATION RESULTS 160
5.3 TAKING CONCURRENCY INTO ACCOUNT F 164
5.3.1 TRANSITION SYSTEMS WITH A CONCURRENCY RELATION 165
5.3.2 STEP TRANSITION SYSTEMS 169
PROBLEMS 177
FURTHER READING 181
PART III P/T-NET SYNTHESIS
6 THE LINEAR ALGEBRAIC STRUCTURE OF REGIONS 187
6.1 FLIP-FLOP NET SYNTHESIS 187
6.2 INTRODUCTION TO P/T-NETS AND P/T-REGIONS 194
6.3 ALGEBRAIC STRUCTURE OF P/T-REGIONS 198
PROBLEMS 210
7 SYNTHESIS OF P/T-NETS FROM FINITE INITIALIZED TRANSITION
SYSTEMS 213
7.1 EXACT SYNTHESIS OF PURE P/T-NETS 213
7.2 APPROXIMATE SYNTHESIS OF PURE P/T-NETS 218
7.3 SYNTHESIS OF IMPURE P/T-NETS 220
7.4 SYNTHESIS OF BOUNDED NETS FROM REGULAR LANGUAGES 221
7.5 SYNTHESIS OF PURE AND BOUNDED NETS FROM FINITE LANGUAGES . . 222
7.6 OPEN ISSUES F 223
PROBLEMS 225
CONTENTS XIII
8 SYNTHESIS OF UNBOUNDED P/T-NETS 227
8.1 RATIONAL SETS AND SEMILINEAR SETS 227
8.2 UNBOUNDED P/T-REGIONS OF LANGUAGES 230
8.3 SYNTHESIS OF UNBOUNDED P/T-NETS FROM LANGUAGES 234
8.4 UNBOUNDED P/T-REGIONS OF TRANSITION SYSTEMS F 238
8.5 SYNTHESIS OF NETS FROM INFINITE TRANSITION SYSTEMS F 246
9 P/T-NETS WITH THE STEP FIRING RULE F 253
9.1 REGIONS OF STEP TRANSITION SYSTEMS 254
9.2 P/T-NET REALIZATION OF FINITE STEP TRANSITION SYSTEMS 255
9.3 P/T-NET REALIZATION OF STEP LANGUAGES 259
9.4 PARTIAL LANGUAGES AND TOKEN FLOWS 260
PART IV APPLICATIONS OF NET SYNTHESIS
10 EXTRACTING CONCURRENCY FROM TRANSITION SYSTEMS T 269
10.1 DISTRIBUTED REALIZATION OF TRANSITION SYSTEMS 269
10.1.1 DISTRIBUTED TRANSITION SYSTEMS 270
10.1.2 DISTRIBUTABLE P/T-NETS 271
10.1.3 SPLITTING A DISTRIBUTABLE NET INTO PIECES 273
10.1.4 DISTRIBUTED IMPLEMENTATION OF A TRANSITION SYSTEM . 273
10.1.5 SYNTHESIZING DISTRIBUTABLE P/T-NETS 276
10.2 COMPACTING AUTOMATA AND PRODUCTS OF AUTOMATA 279
11 PROCESS DISCOVERY F 283
11.1 DISCOVERING WORKFLOW NETS FROM EVENT LOGS 283
11.2 LOGS AND THEIR REGIONS 287
11.3 P/T NET IDENTIFICATION 295
PROBLEMS 297
12 SUPERVISORY CONTROL F 301
12.1 RAMADGE AND WONHAM'S THEORY OF SUPERVISORY CONTROL 301
12.2 PETRI NET SUPERVISORY CONTROL 304
12.3 REGION-BASED SUPERVISORY CONTROL OF PETRI NETS 305
12.4 REGION-BASED SUPERVISORY CONTROL OF DISCRETE EVENT SYSTEMS . 312
12.5 DISTRIBUTED CONTROL OF DISCRETE EVENT SYSTEMS 315
13 DESIGN OF SPEED INDEPENDENT CIRCUITS | 319
REFERENCES 327
INDEX 337 |
| any_adam_object | 1 |
| author | Badouel, Eric Bernardinello, Luca Darondeau, Philippe |
| author_GND | (DE-588)1084027011 (DE-588)1084027712 (DE-588)1084027224 |
| author_facet | Badouel, Eric Bernardinello, Luca Darondeau, Philippe |
| author_role | aut aut aut |
| author_sort | Badouel, Eric |
| author_variant | e b eb l b lb p d pd |
| building | Verbundindex |
| bvnumber | BV043049111 |
| classification_rvk | ST 132 |
| ctrlnum | (OCoLC)934669534 (DE-599)DNB1072559978 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| 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">BV043049111</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20211020</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">151124s2015 gw |||| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">15,N27</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1072559978</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662479667</subfield><subfield code="c">hbk</subfield><subfield code="9">978-3-662-47966-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)934669534</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1072559978</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="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-384</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="2">23</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="100" ind1="1" ind2=" "><subfield code="a">Badouel, Eric</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1084027011</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Petri net synthesis</subfield><subfield code="c">Eric Badouel, Luca Bernardinello, Philippe Darondeau</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg</subfield><subfield code="b">Springer</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 339 Seiten</subfield><subfield code="b">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="490" ind1="0" ind2=" "><subfield code="a">Texts in theoretical computer science</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="653" ind1=" " ind2=" "><subfield code="a">Graduate</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Petri Nets</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Net Synthesis</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Concurrency</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Process Discovery</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Supervisory Control</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bernardinello, Luca</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1084027712</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Darondeau, Philippe</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1084027224</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe, eBook</subfield><subfield code="z">978-3-662-47967-4</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=5295695&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=028473534&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-028473534</subfield></datafield></record></collection> |
| id | DE-604.BV043049111 |
| illustrated | Not Illustrated |
| indexdate | 2024-08-03T02:47:42Z |
| institution | BVB |
| isbn | 9783662479667 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028473534 |
| oclc_num | 934669534 |
| open_access_boolean | |
| owner | DE-11 DE-384 |
| owner_facet | DE-11 DE-384 |
| physical | XIII, 339 Seiten Diagramme |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer |
| record_format | marc |
| series2 | Texts in theoretical computer science |
| spelling | Badouel, Eric Verfasser (DE-588)1084027011 aut Petri net synthesis Eric Badouel, Luca Bernardinello, Philippe Darondeau Berlin ; Heidelberg Springer [2015] © 2015 XIII, 339 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Texts in theoretical computer science Petri-Netz (DE-588)4045388-1 gnd rswk-swf Graduate Petri Nets Net Synthesis Concurrency Process Discovery Supervisory Control Petri-Netz (DE-588)4045388-1 s DE-604 Bernardinello, Luca Verfasser (DE-588)1084027712 aut Darondeau, Philippe Verfasser (DE-588)1084027224 aut Erscheint auch als Online-Ausgabe, eBook 978-3-662-47967-4 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=5295695&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=028473534&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Badouel, Eric Bernardinello, Luca Darondeau, Philippe Petri net synthesis Petri-Netz (DE-588)4045388-1 gnd |
| subject_GND | (DE-588)4045388-1 |
| title | Petri net synthesis |
| title_auth | Petri net synthesis |
| title_exact_search | Petri net synthesis |
| title_full | Petri net synthesis Eric Badouel, Luca Bernardinello, Philippe Darondeau |
| title_fullStr | Petri net synthesis Eric Badouel, Luca Bernardinello, Philippe Darondeau |
| title_full_unstemmed | Petri net synthesis Eric Badouel, Luca Bernardinello, Philippe Darondeau |
| title_short | Petri net synthesis |
| title_sort | petri net synthesis |
| topic | Petri-Netz (DE-588)4045388-1 gnd |
| topic_facet | Petri-Netz |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=5295695&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=028473534&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT badoueleric petrinetsynthesis AT bernardinelloluca petrinetsynthesis AT darondeauphilippe petrinetsynthesis |