Application and theory of Petri nets: 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25 - 29, 2012 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2012
|
| Schriftenreihe: | Lecture notes in computer science
7347 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | XII, 417 S. graph. Darst. |
| ISBN: | 364231130X 9783642311307 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV040272717 | ||
| 003 | DE-604 | ||
| 005 | 20121107 | ||
| 007 | t| | ||
| 008 | 120625s2012 gw d||| |||| 10||| eng d | ||
| 015 | |a 12,N22 |2 dnb | ||
| 016 | 7 | |a 1022402129 |2 DE-101 | |
| 020 | |a 364231130X |9 3-642-31130-X | ||
| 020 | |a 9783642311307 |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-31130-7 | ||
| 024 | 3 | |a 9783642311307 | |
| 028 | 5 | 2 | |a Best.-Nr.: 86118798 |
| 035 | |a (OCoLC)800454383 | ||
| 035 | |a (DE-599)DNB1022402129 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-706 |a DE-83 |a DE-11 |a DE-91G | ||
| 082 | 0 | |a 004.0151135 |2 22/ger | |
| 084 | |a DAT 516f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 245 | 1 | 0 | |a Application and theory of Petri nets |b 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25 - 29, 2012 ; proceedings |c Serge Haddad ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2012 | |
| 300 | |a XII, 417 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 7347 | |
| 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 2012 |z Hamburg |2 gnd-content | |
| 689 | 0 | 0 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Haddad, Serge |e Sonstige |4 oth | |
| 711 | 2 | |a PETRI NETS |n 33 |d 2012 |c Hamburg |j Sonstige |0 (DE-588)102366237X |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-31131-4 |
| 830 | 0 | |a Lecture notes in computer science |v 7347 |w (DE-604)BV000000607 |9 7347 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4040664&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=025128257&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025128257 | |
Datensatz im Suchindex
| _version_ | 1820875392388431872 |
|---|---|
| adam_text |
IMAGE 1
TABLE O F C O N T E N T S
I N V I T E D P A P E R S
NET MODELS FOR CONCURRENT OBJECT BEHAVIOUR 1
TONY HOARE
THE THEORY OF WSTS: THE CASE OF COMPLETE WSTS 3
ALAIN FINKEL AND JEAN GOUBAULT-LARRECQ
R E G U L A R P A P E R S
USING COLORED PETRI NETS TO CONSTRUCT COALESCENT HIDDEN MARKOV MODELS:
AUTOMATIC TRANSLATION FROM DEMOGRAPHIC SPECIFICATIONS T O EFFICIENT
INFERENCE METHODS 32
THOMAS MAILUND, ANDERS E. HALAGER, AND MICHAEL WESTERGAARD
AN SMT-BASED DISCOVERY ALGORITHM FOR C-NETS 51
MARC SOLE AND JOSEP CARRNONA
DECOMPOSING PROCESS MINING PROBLEMS USING PASSAGES 72
WIL M.P. VAN DER AALST
COMPLEXITY OF THE SOUNDNESS PROBLEM OF BOUNDED WORKFLOW NETS 92 GUAN JUN
LIU, JUN SUN. YANG LIU. AND JIN SONG DONG
COST SOUNDNESS FOR PRICED RESOURCE-CONSTRAINED WORKFLOW NETS 108 MARIA
MARTOS-SALGADO AND FERNANDO ROSA-VELARDO
ON THE A-RECONSTRUCTIBILITY OF WORKFLOW NETS 128
ERIC BADOUEL
ON PROFILES AND FOOTPRINTS - RELATIONAL SEMANTICS FOR PETRI NETS 148
MATTHIAS WEIDLICH AND JAN MARTIJN VAN. DER WERF
. D A T A AND ABSTRACTION FOR SCENARIO-BASED MODELING WITH PETRI NETS .
. . . 168 DIRK FAHLAND AND ROBERT PRIIFER
MAXIMAL CONFLUENT PROCESSES 188
X U WANG
OLD AND NEW ALGORITHMS FOR MINIMAL COVERABILITY SETS 208
ANTTI VALMARI AND HENRI HANSEN
STUBBORN SETS FOR SIMPLE LINEAR TIME PROPERTIES 228
ANDREAS LEHMANN. NIELS LOHMANN, AND KARSTEN WOLF
HTTP://D-NB.INFO/1022402129
IMAGE 2
XII TABLE OF CONTENTS
HYBRID ON-THE-FLY LTL MODEL CHECKING WITH THE SWEEP-LINE METHOD 248
SAMI EVANGELISTA AND LARS MICHAEL KRISTENSEN
SAFETY SLICING PETRI NETS 268
ASTRID RAKOW
CAPACITY PLANNING FOR VERTICAL SEARCH ENGINES: AN APPROACH BASED ON
COLOURED PETRI NETS 288
VERONICA GIL-COSTA, JAIR LOBOS, ALONSO INOSTROSA-PSIJAS, AND MAUIICIO
MARIN
AN INFRASTRUCTURE FOR COST-EFFECTIVE TESTING OF OPERATIONAL SUPPORT
ALGORITHMS BASED ON COLORED PETRI NETS 308
JOYCE NAKATUMBA, MICHAEL WESTERGAARD, AND WIL M.P. VAN DER AALST
DESIGNING WEAKLY TERMINATING ROS SYSTEMS 328
DEBJYOTI BERN, KEES M. VAN HEE, AND JAN MARTIJN VAN DER WERF
NETS-WITHIN-NETS TO MODEL INNOVATIVE SPACE SYSTEM ARCHITECTURES 348
FREDERIC CRISTINI AND CATHERINE TESSIER
P- AND T-SYSTEMS IN THE NETS-WITHIN-NETS-FORMALISM 368
FRANK HEITMANN AND MICHAEL KOHLER-BUFIMEIER
T O O L P A P E R S
STOCHASTIC MODELING AND ANALYSIS USING QPME: QUEUEING PETRI NET MODELING
ENVIRONMENT V2.0 388
SIMON SPINNER. SAMUEL KOUNEV. AND PHILIPP MEIER
SNOOPY - A UNIFYING PETRI NET TOOL 398
MONIKA HEINER. MOSTAFA HERAJY. FEI LIU, CHRISTIAN ROHR, AND MARTIN
SCHWARICK
C P N ASSISTANT II: A TOOL FOR MANAGEMENT OF NETWORKED SIMULATIONS . . .
408 STEFAN KORECKO. JAN MARCINCIN, AND VILIAM SLODICAK
A U T H O R I N D E X 419 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV040272717 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 516f |
| ctrlnum | (OCoLC)800454383 (DE-599)DNB1022402129 |
| 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">BV040272717</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20121107</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">120625s2012 gw d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N22</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1022402129</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">364231130X</subfield><subfield code="9">3-642-31130-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642311307</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-31130-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642311307</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86118798</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)800454383</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1022402129</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-706</subfield><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">DAT 516f</subfield><subfield code="2">stub</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</subfield><subfield code="b">33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25 - 29, 2012 ; proceedings</subfield><subfield code="c">Serge Haddad ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 417 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">7347</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">2012</subfield><subfield code="z">Hamburg</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Haddad, Serge</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">PETRI NETS</subfield><subfield code="n">33</subfield><subfield code="d">2012</subfield><subfield code="c">Hamburg</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)102366237X</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-31131-4</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7347</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7347</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=4040664&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=025128257&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-025128257</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2012 Hamburg gnd-content |
| genre_facet | Konferenzschrift 2012 Hamburg |
| id | DE-604.BV040272717 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:14:53Z |
| institution | BVB |
| institution_GND | (DE-588)102366237X |
| isbn | 364231130X 9783642311307 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025128257 |
| oclc_num | 800454383 |
| open_access_boolean | |
| owner | DE-706 DE-83 DE-11 DE-91G DE-BY-TUM |
| owner_facet | DE-706 DE-83 DE-11 DE-91G DE-BY-TUM |
| physical | XII, 417 S. graph. Darst. |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Application and theory of Petri nets 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25 - 29, 2012 ; proceedings Serge Haddad ... (eds.) Berlin [u.a.] Springer 2012 XII, 417 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7347 Petri-Netz (DE-588)4045388-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 Hamburg gnd-content Petri-Netz (DE-588)4045388-1 s DE-604 Haddad, Serge Sonstige oth PETRI NETS 33 2012 Hamburg Sonstige (DE-588)102366237X oth Erscheint auch als Online-Ausgabe 978-3-642-31131-4 Lecture notes in computer science 7347 (DE-604)BV000000607 7347 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4040664&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=025128257&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Application and theory of Petri nets 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25 - 29, 2012 ; proceedings Lecture notes in computer science Petri-Netz (DE-588)4045388-1 gnd |
| subject_GND | (DE-588)4045388-1 (DE-588)1071861417 |
| title | Application and theory of Petri nets 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25 - 29, 2012 ; proceedings |
| title_auth | Application and theory of Petri nets 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25 - 29, 2012 ; proceedings |
| title_exact_search | Application and theory of Petri nets 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25 - 29, 2012 ; proceedings |
| title_full | Application and theory of Petri nets 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25 - 29, 2012 ; proceedings Serge Haddad ... (eds.) |
| title_fullStr | Application and theory of Petri nets 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25 - 29, 2012 ; proceedings Serge Haddad ... (eds.) |
| title_full_unstemmed | Application and theory of Petri nets 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25 - 29, 2012 ; proceedings Serge Haddad ... (eds.) |
| title_short | Application and theory of Petri nets |
| title_sort | application and theory of petri nets 33rd international conference petri nets 2012 hamburg germany june 25 29 2012 proceedings |
| title_sub | 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25 - 29, 2012 ; proceedings |
| topic | Petri-Netz (DE-588)4045388-1 gnd |
| topic_facet | Petri-Netz Konferenzschrift 2012 Hamburg |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4040664&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=025128257&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT haddadserge applicationandtheoryofpetrinets33rdinternationalconferencepetrinets2012hamburggermanyjune25292012proceedings AT petrinetshamburg applicationandtheoryofpetrinets33rdinternationalconferencepetrinets2012hamburggermanyjune25292012proceedings |