Application and theory of Petri nets and concurrency: 34th international conference, PETRI NETS 2013, Milan, Italy, June 24 - 28, 2013 ; proceedings
Saved in:
| Format: | Electronic Conference Proceeding eBook |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2013
|
| Series: | Lecture notes in computer science
7927 |
| Subjects: | |
| Online Access: | Volltext Inhaltsverzeichnis Abstract |
| Physical Description: | 1 Online-Ressource (XII, 410 S.) graph. Darst. |
| ISBN: | 3642386962 9783642386978 |
| DOI: | 10.1007/978-3-642-38697-8 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041402429 | ||
| 003 | DE-604 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 131107s2013 gw d||| o|||| 10||| 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 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 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 | |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 |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-026849922 | |
Record in the Search Index
| _version_ | 1820875512360206336 |
|---|---|
| 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>00000nam a2200000 cb4500</leader><controlfield tag="001">BV041402429</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">131107s2013 gw d||| o|||| 10||| 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">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">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="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="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><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026849922</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 Mailand gnd-content |
| genre_facet | Konferenzschrift 2013 Mailand |
| id | DE-604.BV041402429 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:16:48Z |
| 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 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 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 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 | 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 |