Verfügbarkeit: Application and theory of Petri nets and concurrency

Application and theory of Petri nets and concurrency: 34th international conference, PETRI NETS 2013, Milan, Italy, June 24 - 28, 2013 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2013
Schriftenreihe:	Lecture notes in computer science 7927
Schlagworte:	Nebenläufigkeit Petri-Netz Konferenzschrift > 2013 > Mailand
Online-Zugang:	Volltext Inhaltsverzeichnis Abstract
Beschreibung:	1 Online-Ressource (XII, 410 S.) graph. Darst.
ISBN:	3642386962 9783642386978
DOI:	10.1007/978-3-642-38697-8

Internformat

MARC


LEADER	00000nmm a2200000 cb4500
001	BV041402429
003	DE-604
005	00000000000000.0
006	a \|\|\|\| 10\|\|\|
007	cr\|uuu---uuuuu
008	131107s2013 gw \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 3642386962 \|9 3-642-38696-2
020			\|a 9783642386978 \|c eISBN \|9 978-3-642-38697-8
024	7		\|a 10.1007/978-3-642-38697-8 \|2 doi
024	3		\|a 9783642386961
028	5	2	\|a Best.-Nr.: 86277943
035			\|a (OCoLC)855544146
035			\|a (DE-599)BVBBV041402429
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-473 \|a DE-M347 \|a DE-20 \|a DE-703 \|a DE-Aug4 \|a DE-92 \|a DE-29 \|a DE-739 \|a DE-859 \|a DE-91 \|a DE-706 \|a DE-384 \|a DE-634 \|a DE-355
082	0		\|a 004.0151
084			\|a SS 4800 \|0 (DE-625)143528: \|2 rvk
084			\|a 004 \|2 sdnb
084			\|a DAT 000 \|2 stub
245	1	0	\|a Application and theory of Petri nets and concurrency \|b 34th international conference, PETRI NETS 2013, Milan, Italy, June 24 - 28, 2013 ; proceedings \|c José-Manuel Colom ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2013
300			\|a 1 Online-Ressource (XII, 410 S.) \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 7927
650	0	7	\|a Nebenläufigkeit \|0 (DE-588)4115352-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Petri-Netz \|0 (DE-588)4045388-1 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2013 \|z Mailand \|2 gnd-content
689	0	0	\|a Petri-Netz \|0 (DE-588)4045388-1 \|D s
689	0	1	\|a Nebenläufigkeit \|0 (DE-588)4115352-2 \|D s
689	0		\|8 1\p \|5 DE-604
700	1		\|a Colom, José-Manuel \|e Sonstige \|0 (DE-588)1036694402 \|4 oth
711	2		\|a PETRI NETS \|n 34 \|d 2013 \|c Mailand \|j Sonstige \|0 (DE-588)1036674754 \|4 oth
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe, Paperback \|z 978-3-642-38696-1
830		0	\|a Lecture notes in computer science \|v 7927 \|w (DE-604)BV014880109 \|9 7927
856	4	0	\|u https://doi.org/10.1007/978-3-642-38697-8 \|x Verlag \|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=026849922&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=026849922&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-SCS \|a ZDB-2-LNC
999			\|a oai:aleph.bib-bvb.de:BVB01-026849922
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk

Datensatz im Suchindex

_version_	1804151508653047808
adam_text	APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY / : 2013 TABLE OF CONTENTS / INHALTSVERZEICHNIS THE RIGHT TIMING: REFLECTIONS ON THE MODELING AND ANALYSIS OF TIME ELIMINATING CONCURRENCY BUGS IN MULTITHREADED SOFTWARE: AN APPROACH BASED ON CONTROL OF PETRI NETS CONTEXTUAL MERGED PROCESSES Ω-PETRI NETS RESULTS ON EQUIVALENCE, BOUNDEDNESS, LIVENESS, AND COVERING PROBLEMS OF BPP-PETRI NETS A SEMANTICS FOR EVERY GSPN EXPRESSING AND COMPUTING PASSAGE TIME MEASURES OF GSPN MODELS WITH HASL ON MULTI-ENABLEDNESS IN TIME PETRI NETS COMPLEXITY RESULTS FOR ELEMENTARY HORNETS COMPLEXITY ANALYSIS OF CONTINUOUS PETRI NETS STEP PERSISTENCE IN THE DESIGN OF GALS SYSTEMS A TAXONOMY OF PERSISTENT AND NONVIOLENT STEPS COLOURING SPACE - A COLOURED FRAMEWORK FOR SPATIAL MODELLING IN SYSTEMS BIOLOGY THE VEHICLE RELOCATION PROBLEM IN CAR SHARING SYSTEMS: MODELING AND SIMULATION IN A PETRI NET FRAMEWORK NET-BASED ANALYSIS OF EVENT PROCESSING NETWORKS – THE FAST FLOWER DELIVERY CASE HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS DISCOVERING BLOCK-STRUCTURED PROCESS MODELS FROM EVENT LOGS - A CONSTRUCTIVE APPROACH FASTER VERIFICATION OF PARTIALLY ORDERED RUNS IN PETRI NETS USING COMPACT TOKENFLOWS UNIFYING THE SEMANTICS OF MODULAR EXTENSIONS OF PETRI NETS CHANNEL PROPERTIES OF ASYNCHRONOUSLY COMPOSED PETRI NETS MARCIE – MODEL CHECKING AND REACHABILITY ANALYSIS DONE EFFICIENTLY CPN TOOLS 4: MULTI-FORMALISM AND EXTENSIBILITY DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY / : 2013 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 34TH INTERNATIONAL CONFERENCE ON APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2013, HELD IN MILAN, ITALY, IN JUNE 2013. THE 18 REGULAR PAPERS AND 2 TOOL PAPERS PRESENTED WERE CAREFULLY REVIEWED AND SELECTED FROM 56 SUBMISSIONS. THE BOOK ALSO CONTAINS 2 INVITED TALKS. ALL CURRENT ISSUES ON RESEARCH AND DEVELOPMENT IN THE AREA OF PETRI NETS AND RELATED MODELS OF CONCURRENT SYSTEMS ARE ADDRESSED DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author_GND	(DE-588)1036694402
building	Verbundindex
bvnumber	BV041402429
classification_rvk	SS 4800
classification_tum	DAT 000
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(OCoLC)855544146 (DE-599)BVBBV041402429
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-642-38697-8
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02692nmm a2200553 cb4500</leader><controlfield tag="001">BV041402429</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="006">a \|\|\|\| 10\|\|\| </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">131107s2013 gw \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642386962</subfield><subfield code="9">3-642-38696-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642386978</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-642-38697-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-38697-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642386961</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86277943</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)855544146</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041402429</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-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</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="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Application and theory of Petri nets and concurrency</subfield><subfield code="b">34th international conference, PETRI NETS 2013, Milan, Italy, June 24 - 28, 2013 ; proceedings</subfield><subfield code="c">José-Manuel Colom ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 410 S.)</subfield><subfield code="b">graph. Darst.</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="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7927</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2013</subfield><subfield code="z">Mailand</subfield><subfield code="2">gnd-content</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="1"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Colom, José-Manuel</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1036694402</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">PETRI NETS</subfield><subfield code="n">34</subfield><subfield code="d">2013</subfield><subfield code="c">Mailand</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1036674754</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-3-642-38696-1</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7927</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7927</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-38697-8</subfield><subfield code="x">Verlag</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=026849922&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=026849922&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><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026849922</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2013 Mailand gnd-content
genre_facet	Konferenzschrift 2013 Mailand
id	DE-604.BV041402429
illustrated	Not Illustrated
indexdate	2024-07-10T00:55:56Z
institution	BVB
institution_GND	(DE-588)1036674754
isbn	3642386962 9783642386978
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-026849922
oclc_num	855544146
open_access_boolean
owner	DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-739 DE-859 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR
owner_facet	DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-739 DE-859 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR
physical	1 Online-Ressource (XII, 410 S.) graph. Darst.
psigel	ZDB-2-SCS ZDB-2-LNC
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Application and theory of Petri nets and concurrency 34th international conference, PETRI NETS 2013, Milan, Italy, June 24 - 28, 2013 ; proceedings José-Manuel Colom ... (eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (XII, 410 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 7927 Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf Petri-Netz (DE-588)4045388-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Mailand gnd-content Petri-Netz (DE-588)4045388-1 s Nebenläufigkeit (DE-588)4115352-2 s 1\p DE-604 Colom, José-Manuel Sonstige (DE-588)1036694402 oth PETRI NETS 34 2013 Mailand Sonstige (DE-588)1036674754 oth Erscheint auch als Druck-Ausgabe, Paperback 978-3-642-38696-1 Lecture notes in computer science 7927 (DE-604)BV014880109 7927 https://doi.org/10.1007/978-3-642-38697-8 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026849922&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=026849922&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Application and theory of Petri nets and concurrency 34th international conference, PETRI NETS 2013, Milan, Italy, June 24 - 28, 2013 ; proceedings Lecture notes in computer science Nebenläufigkeit (DE-588)4115352-2 gnd Petri-Netz (DE-588)4045388-1 gnd
subject_GND	(DE-588)4115352-2 (DE-588)4045388-1 (DE-588)1071861417
title	Application and theory of Petri nets and concurrency 34th international conference, PETRI NETS 2013, Milan, Italy, June 24 - 28, 2013 ; proceedings
title_auth	Application and theory of Petri nets and concurrency 34th international conference, PETRI NETS 2013, Milan, Italy, June 24 - 28, 2013 ; proceedings
title_exact_search	Application and theory of Petri nets and concurrency 34th international conference, PETRI NETS 2013, Milan, Italy, June 24 - 28, 2013 ; proceedings
title_full	Application and theory of Petri nets and concurrency 34th international conference, PETRI NETS 2013, Milan, Italy, June 24 - 28, 2013 ; proceedings José-Manuel Colom ... (eds.)
title_fullStr	Application and theory of Petri nets and concurrency 34th international conference, PETRI NETS 2013, Milan, Italy, June 24 - 28, 2013 ; proceedings José-Manuel Colom ... (eds.)
title_full_unstemmed	Application and theory of Petri nets and concurrency 34th international conference, PETRI NETS 2013, Milan, Italy, June 24 - 28, 2013 ; proceedings José-Manuel Colom ... (eds.)
title_short	Application and theory of Petri nets and concurrency
title_sort	application and theory of petri nets and concurrency 34th international conference petri nets 2013 milan italy june 24 28 2013 proceedings
title_sub	34th international conference, PETRI NETS 2013, Milan, Italy, June 24 - 28, 2013 ; proceedings
topic	Nebenläufigkeit (DE-588)4115352-2 gnd Petri-Netz (DE-588)4045388-1 gnd
topic_facet	Nebenläufigkeit Petri-Netz Konferenzschrift 2013 Mailand
url	https://doi.org/10.1007/978-3-642-38697-8 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026849922&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=026849922&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT colomjosemanuel applicationandtheoryofpetrinetsandconcurrency34thinternationalconferencepetrinets2013milanitalyjune24282013proceedings AT petrinetsmailand applicationandtheoryofpetrinetsandconcurrency34thinternationalconferencepetrinets2013milanitalyjune24282013proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge