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:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin Springer Berlin 2013
Schriftenreihe:	Lecture notes in computer science 7927
Schlagworte:	Petri-Netz Nebenläufigkeit Konferenzschrift > 2013 > Mailand
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	XII, 410 S. graph. Darst.
ISBN:	3642386962 9783642386961

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV041122434
003	DE-604
005	20130703
007	t\|
008	130702s2013 gw d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 13,N19 \|2 dnb
016	7		\|a 1034227319 \|2 DE-101
020			\|a 3642386962 \|9 3-642-38696-2
020			\|a 9783642386961 \|c Pb. : ca. EUR 66.34 (DE) (freier Pr.), ca. EUR 68.20 (AT) (freier Pr.), ca. sfr 83.00 (freier Pr.) \|9 978-3-642-38696-1
024	3		\|a 9783642386961
028	5	2	\|a Best.-Nr.: 86277943
035			\|a (OCoLC)864662367
035			\|a (DE-599)DNB1034227319
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-83 \|a DE-11 \|a DE-91G
082	0		\|a 004.0151135 \|2 22/ger
084			\|a 004 \|2 sdnb
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 \|b Springer Berlin \|c 2013
300			\|a XII, 410 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 7927
650	0	7	\|a Petri-Netz \|0 (DE-588)4045388-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Nebenläufigkeit \|0 (DE-588)4115352-2 \|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		\|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 Online-Ausgabe \|z 978-3-642-38697-8
830		0	\|a Lecture notes in computer science \|v 7927 \|w (DE-604)BV000000607 \|9 7927
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=4314662&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=026098451&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-026098451

Datensatz im Suchindex

_version_	1820875466016292864
adam_text	TABLE OF CONTENTS INVITED PAPERS THE RIGHT TIMING: REFLECTIONS ON THE MODELING AND ANALYSIS OF TIME 1 KEES VAN HEE AND NATALIA SIDOROVA ELIMINATING CONCURRENCY BUGS IN MULTITHREADED SOFTWARE: AN APPROACH BASED ON CONTROL OF PETRI NETS 21 STEPHANE LAFORTUNE, YIN WANG, AND SPYROS REVELIOTIS REGULAR PAPERS CONTEXTUAL MERGED PROCESSES 29 CESAR RODRIGUEZ, STEFAN SCHWOON, AND VICTOR KHOMENKO W-PETRI NETS 49 GILLES GEERAERTS, ALEXANDER HEUFINER, M. PRAVEEN, AND JEAN-FRANCOIS RASKIN RESULTS ON EQUIVALENCE, BOUNDEDNESS, LIVENESS, AND COVERING PROBLEMS OF BPP-PETRI NETS 70 ERNST W. MAYR AND JEREMIAS WEIHMANN A SEMANTICS FOR EVERY GSPN 90 CHRISTIAN EISENTRAUT, HOLGER HERMANNS, JOOST-PIETER KATOEN, AND LIJUN ZHANG EXPRESSING AND COMPUTING PASSAGE TIME MEASURES OF GSPN MODELS WITH HASL 110 ELVIO GILBERTO AMPARORE. PAOLO BALLARINI, MARCO BECCUTI, SUSANNA DONATELLI, AND GIULIANA FRANCESCHINIS ON MULTI-ENABLEDNESS IN TIME PETRI NETS 130 HANIFA BOUCHENEB, DIDIER LIME, AND OLIVIER H. ROUX COMPLEXITY RESULTS FOR ELEMENTARY HORNETS 150 MICHAEL KOHLER-BUFIMEIER AND FRANK HEITMANN COMPLEXITY ANALYSIS OF CONTINUOUS PETRI NETS 170 ESTIBALIZ FRACA AND SERGE HADDAD STEP PERSISTENCE IN THE DESIGN OF GALS SYSTEMS 190 JOHNSON FERNANDES, MACIEJ KOUTNY, MARIA PIETKIEWICZ-KOUTNY, DANIL SOKOLOV, AND ALEX YAKOVLEV HTTP://D-NB.INFO/1034227319 XII TABLE OF CONTENTS A TAXONOMY OF PERSISTENT AND NONVIOLENT STEPS 210 MADEJ KOUTNY. LUKASZ MIKULSKI, AND MARTA PIETKIEWICZ-KOUTNY COLOURING SPACE - A COLOURED FRAMEWORK FOR SPATIAL MODELLING IN SYSTEMS BIOLOGY 230 DAVID GILBERT. MONIKA HEINER, FEI LIU, AND NIGEL SAUNDERS THE VEHICLE RELOCATION PROBLEM IN CAR SHARING SYSTEMS: MODELING AND SIMULATION IN A PETRI NET FRAMEWORK 250 MONICA CLEMENTE, MARIA PIA FANTI, AGOSTINO M. MANGINI, AND WALTER UKOVICH NET-BASED ANALYSIS OF EVENT PROCESSING NETWORKS - THE FAST FLOWER DELIVERY CASE 270 MATTHIAS WEIDLICH, JAN MENDLING. AND AVIGDOR GAL HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS 291 JORGE MUNOZ-GAMA, JOSEP CARMONA, AND WIL M.P. VAN DER AALST DISCOVERING BLOCK-STRUCTURED PROCESS MODELS FROM EVENT LOGS - A CONSTRUCTIVE APPROACH 311 SANDER J.J. LEEMANS, DIRK FAHLAND, AND WIL M.P. VAN DER AALST FASTER VERIFICATION OF PARTIALLY ORDERED RUNS IN PETRI NETS USING COMPACT TOKENFLOWS 330 ROBIN BERGENTHUM UNIFYING THE SEMANTICS OF MODULAR EXTENSIONS OF PETRI NETS 349 ALEXIS MARECHAL AND DIDIER BUCHS CHANNEL PROPERTIES OF ASYNCHRONOUSLY COMPOSED PETRI NETS 369 SERGE HADDAD, ROLF HENNICKER, AND MIKAEL H. M0LLER TOOL PAPERS MARCIE - MODEL CHECKING AND REACHABILITY ANALYSIS DONE EFFICIENTLY 389 MONIKA HEINER. CHRISTIAN ROHR, AND MARTIN SCHWARICK CPN TOOLS 4: MULTI-FORMALISM AND EXTENSIBILITY 400 MICHAEL WESTERGAARD AUTHOR INDEX 411
any_adam_object	1
author_GND	(DE-588)1036694402
building	Verbundindex
bvnumber	BV041122434
classification_rvk	SS 4800
ctrlnum	(OCoLC)864662367 (DE-599)DNB1034227319
dewey-full	004.0151135
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004.0151135
dewey-search	004.0151135
dewey-sort	14.0151135
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV041122434</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130703</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">130702s2013 gw d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,N19</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1034227319</subfield><subfield code="2">DE-101</subfield></datafield><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">9783642386961</subfield><subfield code="c">Pb. : ca. EUR 66.34 (DE) (freier Pr.), ca. EUR 68.20 (AT) (freier Pr.), ca. sfr 83.00 (freier Pr.)</subfield><subfield code="9">978-3-642-38696-1</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)864662367</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1034227319</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-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151135</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</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</subfield><subfield code="b">Springer Berlin</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">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">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="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">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="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="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="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">Online-Ausgabe</subfield><subfield code="z">978-3-642-38697-8</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)BV000000607</subfield><subfield code="9">7927</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=4314662&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=026098451&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-026098451</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2013 Mailand gnd-content
genre_facet	Konferenzschrift 2013 Mailand
id	DE-604.BV041122434
illustrated	Illustrated
indexdate	2025-01-10T15:16:04Z
institution	BVB
institution_GND	(DE-588)1036674754
isbn	3642386962 9783642386961
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-026098451
oclc_num	864662367
open_access_boolean
owner	DE-83 DE-11 DE-91G DE-BY-TUM
owner_facet	DE-83 DE-11 DE-91G DE-BY-TUM
physical	XII, 410 S. graph. Darst.
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Springer Berlin
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 Springer Berlin 2013 XII, 410 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7927 Petri-Netz (DE-588)4045388-1 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 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 DE-604 Colom, José-Manuel Sonstige (DE-588)1036694402 oth PETRI NETS 34 2013 Mailand Sonstige (DE-588)1036674754 oth Erscheint auch als Online-Ausgabe 978-3-642-38697-8 Lecture notes in computer science 7927 (DE-604)BV000000607 7927 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4314662&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=026098451&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
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 Petri-Netz (DE-588)4045388-1 gnd Nebenläufigkeit (DE-588)4115352-2 gnd
subject_GND	(DE-588)4045388-1 (DE-588)4115352-2 (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	Petri-Netz (DE-588)4045388-1 gnd Nebenläufigkeit (DE-588)4115352-2 gnd
topic_facet	Petri-Netz Nebenläufigkeit Konferenzschrift 2013 Mailand
url	http://deposit.dnb.de/cgi-bin/dokserv?id=4314662&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=026098451&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
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! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge