Applications and theory of Petri Nets: 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21 - 25, 2010 ; proceedings
Saved in:
| Other Authors: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2010
|
| Series: | Lecture notes in computer science
6128 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | X, 327 S. graph. Darst. |
| ISBN: | 9783642136740 3642136745 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036513276 | ||
| 003 | DE-604 | ||
| 005 | 20100819 | ||
| 007 | t| | ||
| 008 | 100621s2010 xx d||| |||| 10||| eng d | ||
| 015 | |a 10,N21 |2 dnb | ||
| 016 | 7 | |a 1002540690 |2 DE-101 | |
| 020 | |a 9783642136740 |9 978-3-642-13674-0 | ||
| 020 | |a 3642136745 |9 3-642-13674-5 | ||
| 024 | 3 | |a 9783642136740 | |
| 035 | |a (OCoLC)699690064 | ||
| 035 | |a (DE-599)DNB1002540690 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-11 |a DE-91G |a DE-83 | ||
| 082 | 0 | |a 004.0151135 |2 22/ger | |
| 084 | |a DAT 516f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a 510 |2 sdnb | ||
| 245 | 1 | 0 | |a Applications and theory of Petri Nets |b 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21 - 25, 2010 ; proceedings |c Johan Lilius ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a X, 327 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 6128 | |
| 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 2010 |z Braga |2 gnd-content | |
| 689 | 0 | 0 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | |5 DE-101 | |
| 700 | 1 | |a Lilius, Johan |4 edt | |
| 711 | 2 | |a PETRI NETS |n 31 |d 2010 |c Braga |j Sonstige |0 (DE-588)16071369-9 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6128 |w (DE-604)BV000000607 |9 6128 | |
| 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=020435436&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020435436 | |
Record in the Search Index
| _version_ | 1820875235583328256 |
|---|---|
| adam_text |
TABLE OF CONTENTS INVITED PAPERS INSTANCE DEADLOCK: A MYSTERY BEHIND
FROZEN PROGRAMS 1 GABRIEL JUHAS, IGOR KAZLOV, AND ANA JUHASOVA SOME
THOUGHTS ON BEHAVIORAL PROGRAMMING - DISTINGUISHED CARL ADAM PETRI
LECTURE (ABSTRACT) 18 DAVID HAREL PETRI NETS WITH LOCALITIES AND TESTING
19 JETTY KLEIJN AND MACIEJ KOUTNY A PERSPECTIVE ON EXPLICIT STATE SPACE
EXPLORATION OF COLOURED PETRI NETS: PAST, PRESENT, AND FUTURE 39 LARS M.
KRISTENSEN FULL PAPERS CAN STUBBORN SETS BE OPTIMAL? 43 ANTTI VALMARI
AND HENRI HANSEN EFFICIENT COMPUTATION OF CAUSAL BEHAVIOURAL PROFILES
USING STRUCTURAL DECOMPOSITION 63 MATTHIAS WEIDLICH, ARTEM POLYVYANYY,
JAN MENDLING, AND MATHIAS WESKE CANONICAL TRANSITION SET SEMANTICS FOR
PETRI NETS 84 YUNHE WANG AND LI JIAO A CHARACTERIZATION OF COMBINED
TRACES USING LABELED STRATIFIED ORDER STRUCTURES 104 DAI TRI MAN LE
INTEGRATED PROCESS PLANNING AND SUPPLY CHAIN CONFIGURATION FOR COMMODITY
ASSEMBLIES USING PETRI NETS 125 OLEG GUSIKHIN AND ERICA KLAMPFL THE NEO
PROTOCOL FOR LARGE-SCALE DISTRIBUTED DATABASE SYSTEMS: MODELLING AND
INITIAL VERIFICATION 145 CHRISTINE CHOPPY, ANNA DEDOVA, SAMI
EVANGELISTA, SILIEN HONG, KAIS KLAI, AND LAURE PETRUCCI FACTORIZATIO
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1002540690 DIGITALISIERT
DURCH X TABLE OF CONTENTS FORWARD ANALYSIS FOR PETRI NETS WITH NAME
CREATION 185 FERNANDO ROSA- VELARDO AND DAVID DE FRUTOS-ESCRIG LEARNING
WORKFLOW PETRI NETS 206 JAVIER ESPARZA, MARTIN LEUCKER, AND MAXIMILIAN
SCHLUND PROCESS MINING FROM A BASIS OF STATE REGIONS 226 MARC SOLE AND
JOSEP CARMONA SEPARABILITY IN PERSISTENT PETRI NETS 246 EIKE BEST AND
PHILIPPE DARONDEAU NEW ALGORITHMS FOR DECIDING THE SIPHON-TRAP PROPERTY
267 OLIVIA OANEA, HARRO WIMMEL, AND KARSTEN WOLF TOOL PAPERS ALPINA: A
SYMBOLIC MODEL CHECKER 287 DIDIER BUCHS, STEVE HOSTETTIER, ALEXIS
MARECHAL, AND MATTEO RISOLDI WENDY: A TOOL TO SYNTHESIZE PARTNERS FOR
SERVICES 297 NIELS LOHMANN AND DANIELA WEINBERG GREATSPN ENHANCED WITH
DECISION DIAGRAM DATA STRUCTURES 308 JUNAID BABAR, MARCO BECCUTI,
SUSANNA DONATELLI, AND ANDREW MINER PNML FRAMEWORK: AN EXTENDABLE
REFERENCE IMPLEMENTATION OF THE PETRI NET MARKUP LANGUAGE 318 L.M.
HILLAH, F. KORDON, L. PETRUCCI, AND N. TREVES AUTHOR INDEX 329 |
| any_adam_object | 1 |
| author2 | Lilius, Johan |
| author2_role | edt |
| author2_variant | j l jl |
| author_facet | Lilius, Johan |
| building | Verbundindex |
| bvnumber | BV036513276 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 516f |
| ctrlnum | (OCoLC)699690064 (DE-599)DNB1002540690 |
| 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 Mathematik |
| 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">BV036513276</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100819</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100621s2010 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N21</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1002540690</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642136740</subfield><subfield code="9">978-3-642-13674-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642136745</subfield><subfield code="9">3-642-13674-5</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642136740</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)699690064</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1002540690</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</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="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Applications and theory of Petri Nets</subfield><subfield code="b">31st international conference, PETRI NETS 2010, Braga, Portugal, June 21 - 25, 2010 ; proceedings</subfield><subfield code="c">Johan Lilius ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 327 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">6128</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">2010</subfield><subfield code="z">Braga</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-101</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lilius, Johan</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">PETRI NETS</subfield><subfield code="n">31</subfield><subfield code="d">2010</subfield><subfield code="c">Braga</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16071369-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6128</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6128</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=020435436&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-020435436</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Braga gnd-content |
| genre_facet | Konferenzschrift 2010 Braga |
| id | DE-604.BV036513276 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:12:24Z |
| institution | BVB |
| institution_GND | (DE-588)16071369-9 |
| isbn | 9783642136740 3642136745 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020435436 |
| oclc_num | 699690064 |
| open_access_boolean | |
| owner | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 |
| owner_facet | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 |
| physical | X, 327 S. graph. Darst. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Applications and theory of Petri Nets 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21 - 25, 2010 ; proceedings Johan Lilius ... (eds.) Berlin [u.a.] Springer 2010 X, 327 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6128 Petri-Netz (DE-588)4045388-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Braga gnd-content Petri-Netz (DE-588)4045388-1 s DE-101 Lilius, Johan edt PETRI NETS 31 2010 Braga Sonstige (DE-588)16071369-9 oth Lecture notes in computer science 6128 (DE-604)BV000000607 6128 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020435436&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Applications and theory of Petri Nets 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21 - 25, 2010 ; proceedings Lecture notes in computer science Petri-Netz (DE-588)4045388-1 gnd |
| subject_GND | (DE-588)4045388-1 (DE-588)1071861417 |
| title | Applications and theory of Petri Nets 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21 - 25, 2010 ; proceedings |
| title_auth | Applications and theory of Petri Nets 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21 - 25, 2010 ; proceedings |
| title_exact_search | Applications and theory of Petri Nets 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21 - 25, 2010 ; proceedings |
| title_full | Applications and theory of Petri Nets 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21 - 25, 2010 ; proceedings Johan Lilius ... (eds.) |
| title_fullStr | Applications and theory of Petri Nets 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21 - 25, 2010 ; proceedings Johan Lilius ... (eds.) |
| title_full_unstemmed | Applications and theory of Petri Nets 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21 - 25, 2010 ; proceedings Johan Lilius ... (eds.) |
| title_short | Applications and theory of Petri Nets |
| title_sort | applications and theory of petri nets 31st international conference petri nets 2010 braga portugal june 21 25 2010 proceedings |
| title_sub | 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21 - 25, 2010 ; proceedings |
| topic | Petri-Netz (DE-588)4045388-1 gnd |
| topic_facet | Petri-Netz Konferenzschrift 2010 Braga |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020435436&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT liliusjohan applicationsandtheoryofpetrinets31stinternationalconferencepetrinets2010bragaportugaljune21252010proceedings AT petrinetsbraga applicationsandtheoryofpetrinets31stinternationalconferencepetrinets2010bragaportugaljune21252010proceedings |