Holdings: Petri Net Synthesis

Petri Net Synthesis:

Saved in:

Bibliographic Details
Main Authors:	Badouel, Eric (Author), Bernardinello, Luca (Author), Darondeau, Philippe (Author)
Format:	Electronic eBook
Language:	English
Published:	Berlin ; Heidelberg Springer 2015
Series:	Texts in Theoretical Computer Science. An EATCS Series
Subjects:	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
Online Access:	BTU01 FHA01 FHI01 FHM01 FHN01 FKE01 FLA01 FRO01 UBG01 UBM01 UBR01 UBT01 UBW01 UER01 UPA01 Volltext Inhaltsverzeichnis Abstract
Physical Description:	1 Online-Ressource (XIII, 339 Seiten) 140 illus., 1 illus. in color
ISBN:	9783662479674
ISSN:	1862-4499
DOI:	10.1007/978-3-662-47967-4

Staff View

MARC


LEADER	00000nmm a2200000zc 4500
001	BV043209656
003	DE-604
005	20160630
007	cr\|uuu---uuuuu
008	151215s2015 \|\|\|\| o\|\|u\| \|\|\|\|\|\|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
999			\|a oai:aleph.bib-bvb.de:BVB01-028632816
966	e		\|u https://doi.org/10.1007/978-3-662-47967-4 \|l BTU01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-47967-4 \|l FHA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-47967-4 \|l FHI01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-47967-4 \|l FHM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-47967-4 \|l FHN01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-47967-4 \|l FKE01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-47967-4 \|l FLA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-47967-4 \|l FRO01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-47967-4 \|l UBG01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-47967-4 \|l UBM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-47967-4 \|l UBR01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-47967-4 \|l UBT01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-47967-4 \|l UBW01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-47967-4 \|l UER01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-47967-4 \|l UPA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Record in the Search Index

_version_	1804175708943024128
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>04023nmm 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 \|\|\|\| o\|\|u\| \|\|\|\|\|\|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="999" ind1=" " 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">BTU01</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">FHA01</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">FHI01</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">FHM01</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">FHN01</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">FKE01</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">FLA01</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">FRO01</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">UBG01</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">UBM01</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">UBR01</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">UBT01</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">UBW01</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">UER01</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">UPA01</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-07-10T07:20:35Z
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
spelling	Badouel, Eric Verfasser (DE-588)1084027011 aut Petri Net Synthesis by Eric Badouel, Luca Bernardinello, Philippe Darondeau Berlin ; Heidelberg Springer 2015 1 Online-Ressource (XIII, 339 Seiten) 140 illus., 1 illus. in color txt rdacontent c rdamedia cr rdacarrier Texts in Theoretical Computer Science. An EATCS Series 1862-4499 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 rswk-swf 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 Druckausgabe 978-3-662-47966-7 https://doi.org/10.1007/978-3-662-47967-4 Verlag URL des Erstveröffentlichers Volltext Springer Fremddatenuebernahme application/pdf 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 Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf 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 Abstract
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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items