Application and theory of Petri nets and concurrency: 34th international conference, PETRI NETS 2013, Milan, Italy, June 24 - 28, 2013 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin
Springer Berlin
2013
|
| Series: | Lecture notes in computer science
7927 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Physical Description: | XII, 410 S. graph. Darst. |
| ISBN: | 3642386962 9783642386961 |
Staff View
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 | |
Record in the Search Index
| _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 |