Verfügbarkeit: Petri net synthesis | Technische Universität München

Petri net synthesis:

Gespeichert in:

Bibliographische Detailangaben
Beteiligte Personen:	Badouel, Eric (VerfasserIn), Bernardinello, Luca (VerfasserIn), Darondeau, Philippe (VerfasserIn)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Berlin ; Heidelberg Springer [2015]
Schriftenreihe:	Texts in theoretical computer science
Schlagwörter:	Petri-Netz Graduate Petri Nets Net Synthesis Concurrency Process Discovery Supervisory Control
Links:	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
Umfang:	XIII, 339 Seiten Diagramme
ISBN:	9783662479667

Internformat

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

Datensatz im Suchindex

_version_	1819260401305518080
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>01941nam a2200517 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-12-20T17:26:35Z
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
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

Verfügbarkeit

‌

Inhaltsverzeichnis