Petri Net Synthesis:
Gespeichert in:
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043209656 | ||
| 003 | DE-604 | ||
| 005 | 20160630 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151215s2015 xx a||| o|||| 00||| eng d | ||
| 020 | |a 9783662479674 |c Online |9 978-3-662-47967-4 | ||
| 024 | 7 | |a 10.1007/978-3-662-47967-4 |2 doi | |
| 035 | |a (OCoLC)932027317 | ||
| 035 | |a (DE-599)BVBBV043209656 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-19 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-20 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-739 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 084 | |a ST 132 |0 (DE-625)143589: |2 rvk | ||
| 100 | 1 | |a Badouel, Eric |e Verfasser |0 (DE-588)1084027011 |4 aut | |
| 245 | 1 | 0 | |a Petri Net Synthesis |c by Eric Badouel, Luca Bernardinello, Philippe Darondeau |
| 264 | 1 | |a Berlin ; Heidelberg |b Springer |c 2015 | |
| 300 | |a 1 Online-Ressource (XIII, 339 Seiten) |b 140 illus., 1 illus. in color | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Texts in Theoretical Computer Science. An EATCS Series |x 1862-4499 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Computer science / Mathematics | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Mathematics of Computing | |
| 650 | 4 | |a Software Engineering/Programming and Operating Systems | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 0 | 7 | |a Petri-Netz |0 (DE-588)4045388-1 |2 gnd |9 rswk-swf |
| 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 Druckausgabe |z 978-3-662-47966-7 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-662-47967-4 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632816&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632816&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-028632816 | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47967-4 |l DE-634 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47967-4 |l DE-Aug4 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47967-4 |l DE-573 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47967-4 |l DE-M347 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47967-4 |l DE-92 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47967-4 |l DE-859 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47967-4 |l DE-860 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47967-4 |l DE-861 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47967-4 |l DE-473 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47967-4 |l DE-19 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47967-4 |l DE-355 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47967-4 |l DE-703 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47967-4 |l DE-20 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47967-4 |l DE-29 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47967-4 |l DE-739 |p ZDB-2-SCS |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1819336382079827968 |
|---|---|
| adam_text | PETRI NET SYNTHESIS
/ BADOUEL, ERIC
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
INTRODUCTION
INTRODUCTION TO ELEMENTARY NET SYNTHESIS
OTHER FORMS OF THE SYNTHESIS PROBLEM
ALGORITHMS OF ELEMENTARY NET SYNTHESIS
VARIATIONS OF ELEMENTARY NET SYNTHESIS
A UNIFIED THEORY OF NET SYNTHESIS
THE LINEAR ALGEBRAIC STRUCTURE OF REGIONS
SYNTHESIS OF P/T-NETS FROM FINITE INITIALIZED TRANSITION SYSTEMS
SYNTHESIS OF UNBOUNDED P/T-NETS
P/T-NETS WITH THE STEP FIRING RULE
EXTRACTING CONCURRENCY FROM TRANSITION SYSTEMS
PROCESS DISCOVERY
SUPERVISORY CONTROL
DESIGN OF SPEED INDEPENDENT CIRCUITS
BIBLIOGRAPHY
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
PETRI NET SYNTHESIS
/ BADOUEL, ERIC
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK IS A COMPREHENSIVE, SYSTEMATIC SURVEY OF THE SYNTHESIS
PROBLEM, AND OF REGION THEORY WHICH UNDERLIES ITS SOLUTION, COVERING THE
RELATED THEORY, ALGORITHMS, AND APPLICATIONS. THE AUTHORS FOCUS ON SAFE
PETRI NETS AND PLACE/TRANSITION NETS (P/T-NETS), TREATING SYNTHESIS AS
AN AUTOMATED PROCESS WHICH, GIVEN BEHAVIOURAL SPECIFICATIONS OR PARTIAL
SPECIFICATIONS OF A SYSTEM TO BE REALIZED, DECIDES WHETHER THE
SPECIFICATIONS ARE FEASIBLE, AND THEN PRODUCES A PETRI NET REALIZING
THEM EXACTLY, OR IF THIS IS NOT POSSIBLE PRODUCES A PETRI NET REALIZING
AN OPTIMAL APPROXIMATION OF THE SPECIFICATIONS. IN PART I THE AUTHORS
INTRODUCE ELEMENTARY NET SYNTHESIS. IN PART II THEY EXPLAIN VARIATIONS
OF ELEMENTARY NET SYNTHESIS AND THE UNIFIED THEORY OF NET SYNTHESIS. THE
FIRST THREE CHAPTERS OF PART III ADDRESS THE LINEAR ALGEBRAIC STRUCTURE
OF REGIONS, SYNTHESIS OF P/T-NETS FROM FINITE INITIALIZED TRANSITION
SYSTEMS, AND THE SYNTHESIS OF UNBOUNDED P/T-NETS. FINALLY, THE LAST
CHAPTER IN PART III AND THE CHAPTERS IN PART IV COVER MORE ADVANCED
TOPICS AND APPLICATIONS: P/T-NETS WITH THE STEP FIRING RULE, EXTRACTING
CONCURRENCY FROM TRANSITION SYSTEMS, PROCESS DISCOVERY, SUPERVISORY
CONTROL, AND THEDESIGN OF SPEED-INDEPENDENT CIRCUITS. MOST CHAPTERS
CONCLUDE WITH EXERCISES, AND THE BOOK IS A VALUABLE REFERENCE FOR BOTH
GRADUATE STUDENTS OF COMPUTER SCIENCE AND ELECTRICAL ENGINEERING AND
RESEARCHERS AND ENGINEERS IN THIS DOMAIN
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| 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 | BV043209656 |
| classification_rvk | ST 132 |
| collection | ZDB-2-SCS |
| ctrlnum | (OCoLC)932027317 (DE-599)BVBBV043209656 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-662-47967-4 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04036nam a2200757zc 4500</leader><controlfield tag="001">BV043209656</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160630 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151215s2015 xx a||| o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662479674</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-47967-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-47967-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)932027317</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043209656</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="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</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="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">by 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="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIII, 339 Seiten)</subfield><subfield code="b">140 illus., 1 illus. in color</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">Texts in Theoretical Computer Science. An EATCS Series</subfield><subfield code="x">1862-4499</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science / Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</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">Software Engineering/Programming and Operating Systems</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=" " ind2="4"><subfield code="a">Mathematik</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="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">Druckausgabe</subfield><subfield code="z">978-3-662-47966-7</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-47967-4</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028632816&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028632816&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028632816</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47967-4</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47967-4</subfield><subfield code="l">DE-Aug4</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47967-4</subfield><subfield code="l">DE-573</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47967-4</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47967-4</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47967-4</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47967-4</subfield><subfield code="l">DE-860</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47967-4</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47967-4</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47967-4</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47967-4</subfield><subfield code="l">DE-355</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47967-4</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47967-4</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47967-4</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47967-4</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043209656 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T17:31:13Z |
| institution | BVB |
| isbn | 9783662479674 |
| issn | 1862-4499 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028632816 |
| oclc_num | 932027317 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-634 DE-860 DE-861 DE-739 |
| owner_facet | DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-634 DE-860 DE-861 DE-739 |
| physical | 1 Online-Ressource (XIII, 339 Seiten) 140 illus., 1 illus. in color |
| psigel | ZDB-2-SCS ZDB-2-SCS_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer |
| record_format | marc |
| series2 | Texts in Theoretical Computer Science. An EATCS Series |
| spellingShingle | Badouel, Eric Bernardinello, Luca Darondeau, Philippe Petri Net Synthesis Computer science Software engineering Computers Computer science / Mathematics Mathematical logic Computer Science Theory of Computation Mathematics of Computing Software Engineering/Programming and Operating Systems Mathematical Logic and Foundations Informatik Mathematik 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 by Eric Badouel, Luca Bernardinello, Philippe Darondeau |
| title_fullStr | Petri Net Synthesis by Eric Badouel, Luca Bernardinello, Philippe Darondeau |
| title_full_unstemmed | Petri Net Synthesis by Eric Badouel, Luca Bernardinello, Philippe Darondeau |
| title_short | Petri Net Synthesis |
| title_sort | petri net synthesis |
| topic | Computer science Software engineering Computers Computer science / Mathematics Mathematical logic Computer Science Theory of Computation Mathematics of Computing Software Engineering/Programming and Operating Systems Mathematical Logic and Foundations Informatik Mathematik Petri-Netz (DE-588)4045388-1 gnd |
| topic_facet | Computer science Software engineering Computers Computer science / Mathematics Mathematical logic Computer Science Theory of Computation Mathematics of Computing Software Engineering/Programming and Operating Systems Mathematical Logic and Foundations Informatik Mathematik Petri-Netz |
| url | https://doi.org/10.1007/978-3-662-47967-4 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632816&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632816&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT badoueleric petrinetsynthesis AT bernardinelloluca petrinetsynthesis AT darondeauphilippe petrinetsynthesis |