Applications and theory of Petri nets: 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20 - 24, 2011 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2011
|
| Series: | Lecture notes in computer science
6709 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | XII, 347 S. graph. Darst. 24 cm |
| ISBN: | 9783642218330 3642218334 9783642218347 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039117957 | ||
| 003 | DE-604 | ||
| 005 | 20111115 | ||
| 007 | t| | ||
| 008 | 110704s2011 xx d||| |||| 10||| eng d | ||
| 015 | |a 11,N21 |2 dnb | ||
| 015 | |a 11,A26 |2 dnb | ||
| 016 | 7 | |a 1011959186 |2 DE-101 | |
| 020 | |a 9783642218330 |c kart. : EUR 57.78 (DE) (freier Pr.), ca. sfr 77.50 (freier Pr.) |9 978-3-642-21833-0 | ||
| 020 | |a 3642218334 |9 3-642-21833-4 | ||
| 020 | |a 9783642218347 |c eBook |9 978-3-642-21834-7 | ||
| 024 | 3 | |a 9783642218330 | |
| 028 | 5 | 2 | |a Best.-Nr.: 80065105 |
| 035 | |a (OCoLC)844865173 | ||
| 035 | |a (DE-599)DNB1011959186 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-11 |a DE-83 |a DE-91G | ||
| 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 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20 - 24, 2011 ; proceedings |c Lars M. Kristensen ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a XII, 347 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6709 | |
| 500 | |a Literaturangaben | ||
| 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 2011 |z Newcastle-upon-Tyne |2 gnd-content | |
| 689 | 0 | 0 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Kristensen, Lars M. |e Sonstige |4 oth | |
| 711 | 2 | |a PETRI NETS |n 32 |d 2011 |c Newcastle-upon-Tyne |j Sonstige |0 (DE-588)16161799-2 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |t Applications and Theory of Petri Nets |
| 830 | 0 | |a Lecture notes in computer science |v 6709 |w (DE-604)BV000000607 |9 6709 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3826569&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=024136588&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024136588 | |
Record in the Search Index
| _version_ | 1820875327774130176 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
INVITED TALKS OCCURRENCE NETS THEN AND NOW: THE PATH TO STRUCTURED
OCCURRENCE NETS 1
BRIAN RANDELL
HOW MIGHT PETRI NETS ENHANCE YOUR SYSTEMS BIOLOGY TOOLKIT 17 MONIKA
HEINER AND DAVID GILBERT
STATE ESTIMATION AND FAULT DETECTION USING PETRI NETS 38
ALESSANDRO GIUA
REGULAR PAPERS
FORWARD ANALYSIS AND MODEL CHECKING FOR TRACE BOUNDED WSTS 49 PIERRE
CHAMBART, ALAIN FINKEL, AND SYLVAIN SCHMITZ
MINIMAL COVERABILITY SET FOR PETRI NETS: KARP AND MILLER ALGORITHM WITH
PRUNING 09
PIERRE-ALAIN REYNIER AND FREDERIC SERVAIS
AN ALGORITHM FOR DIRECT CONSTRUCTION OF COMPLETE MERGED PROCESSES . .
89 VICTOR KHOMENKO AND ANDREY MOKHOV
HOW MUCH IS WORTH TO REMEMBER? A TAXONOMY BASED ON PETRI NETS UNFOLDINGS
109
G. MICHELE PINNA
BRANCHING PROCESSES OF GENERAL PETRI NETS 129
JEAN-MICHEL COUVREUR, DENIS POITRENAUD, AND PASCAL WEIL
REFINEMENT OF SYNCHRONIZABLE PLACES WITH MULTI-WORKFLOW NETS: WEAK
TERMINATION PRESERVED! 149
KEES M. VAN HEE, NATALIA SIDOROVA, AND JAN MARTIJN VAN DER WERF
MODELING AND VERIFICATION OF A PROTOCOL FOR OPERATIONAL SUPPORT USING
COLOURED PETRI NETS 1C9
MICHAEL WESTERGAARD AND FABRIZIO M. MAGGI
FINDING A WITNESS PATH FOR NON-LIVENESS IN FREE-CHOICE NETS 189 HARRO
WIMMEL AND KARSTEN WOLF
A PETRI NET INTERPRETATION OF OPEN RECONFIGURABLE SYSTEMS 208 FREDERIC
PESCHANSKI, HANNA KLAUDEL, AND RAYMOND DEVILLERS
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1011959186
DIGITALISIERT DURCH
IMAGE 2
XII TABLE OF CONTENTS
THE MUTEX PARADIGM OF CONCURRENCY 228
JETTY KLEIJN AND MACIEJ KOUTNY
ON THE ORIGIN OF EVENTS: BRANCHING CELLS AS STUBBORN SETS 248 HENRI
HANSEN AND XU WANG
ON PARAMETRIC STEADY STATE ANALYSIS OF A GENERALIZED STOCHASTIC PETRI
NET WITH A FORK-JOIN SUBNET 268
JONATHAN BILLINGTON AND GUY EDWARD GALLASCH
SYNTHESIS AND ANALYSIS OF PRODUCT-FORM PETRI NETS 288
SERGE HADDAD, JEAN MAIRESSE AND HOANG-THACH NGUYEN
TOOL PAPERS
A TOOL FOR AUTOMATED TEST CODE GENERATION FROM HIGH-LEVEL PETRI NETS 308
DIANXIANG XU
THE EPNK: AN EXTENSIBLE PETRI NET TOOL FOR PNML 318
EKKART KINDLER
ACCESS/CPN 2.0: A HIGH-LEVEL INTERFACE TO COLOURED PETRI NET MODELS 328
MICHAEL WESTERGAARD
CROCODILE : A SYMBOLIC/SYMBOLIC TOOL FOR THE ANALYSIS OF SYMMETRIC NETS
WITH BAG 338
MAXIMILIEN COLANGE, SOUHEIB BAARIR, FABRICE KORDON AND YANN THIERRY-MIEG
AUTHOR INDEX 349 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV039117957 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 516f |
| ctrlnum | (OCoLC)844865173 (DE-599)DNB1011959186 |
| 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">BV039117957</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111115</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">110704s2011 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N21</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,A26</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1011959186</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642218330</subfield><subfield code="c">kart. : EUR 57.78 (DE) (freier Pr.), ca. sfr 77.50 (freier Pr.)</subfield><subfield code="9">978-3-642-21833-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642218334</subfield><subfield code="9">3-642-21833-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642218347</subfield><subfield code="c">eBook</subfield><subfield code="9">978-3-642-21834-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642218330</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80065105</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)844865173</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1011959186</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="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</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="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">32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20 - 24, 2011 ; proceedings</subfield><subfield code="c">Lars M. Kristensen ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 347 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">6709</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">2011</subfield><subfield code="z">Newcastle-upon-Tyne</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">Kristensen, Lars M.</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">32</subfield><subfield code="d">2011</subfield><subfield code="c">Newcastle-upon-Tyne</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16161799-2</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="t">Applications and Theory of Petri Nets</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6709</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6709</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=3826569&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=024136588&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-024136588</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2011 Newcastle-upon-Tyne gnd-content |
| genre_facet | Konferenzschrift 2011 Newcastle-upon-Tyne |
| id | DE-604.BV039117957 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:13:52Z |
| institution | BVB |
| institution_GND | (DE-588)16161799-2 |
| isbn | 9783642218330 3642218334 9783642218347 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024136588 |
| oclc_num | 844865173 |
| open_access_boolean | |
| owner | DE-706 DE-11 DE-83 DE-91G DE-BY-TUM |
| owner_facet | DE-706 DE-11 DE-83 DE-91G DE-BY-TUM |
| physical | XII, 347 S. graph. Darst. 24 cm |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Applications and theory of Petri nets 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20 - 24, 2011 ; proceedings Lars M. Kristensen ... (eds.) Berlin [u.a.] Springer 2011 XII, 347 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6709 Literaturangaben Petri-Netz (DE-588)4045388-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Newcastle-upon-Tyne gnd-content Petri-Netz (DE-588)4045388-1 s DE-604 Kristensen, Lars M. Sonstige oth PETRI NETS 32 2011 Newcastle-upon-Tyne Sonstige (DE-588)16161799-2 oth Erscheint auch als Online-Ausgabe Applications and Theory of Petri Nets Lecture notes in computer science 6709 (DE-604)BV000000607 6709 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3826569&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=024136588&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Applications and theory of Petri nets 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20 - 24, 2011 ; 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 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20 - 24, 2011 ; proceedings |
| title_auth | Applications and theory of Petri nets 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20 - 24, 2011 ; proceedings |
| title_exact_search | Applications and theory of Petri nets 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20 - 24, 2011 ; proceedings |
| title_full | Applications and theory of Petri nets 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20 - 24, 2011 ; proceedings Lars M. Kristensen ... (eds.) |
| title_fullStr | Applications and theory of Petri nets 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20 - 24, 2011 ; proceedings Lars M. Kristensen ... (eds.) |
| title_full_unstemmed | Applications and theory of Petri nets 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20 - 24, 2011 ; proceedings Lars M. Kristensen ... (eds.) |
| title_short | Applications and theory of Petri nets |
| title_sort | applications and theory of petri nets 32nd international conference petri nets 2011 newcastle uk june 20 24 2011 proceedings |
| title_sub | 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20 - 24, 2011 ; proceedings |
| topic | Petri-Netz (DE-588)4045388-1 gnd |
| topic_facet | Petri-Netz Konferenzschrift 2011 Newcastle-upon-Tyne |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3826569&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=024136588&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT kristensenlarsm applicationsandtheoryofpetrinets32ndinternationalconferencepetrinets2011newcastleukjune20242011proceedings AT petrinetsnewcastleupontyne applicationsandtheoryofpetrinets32ndinternationalconferencepetrinets2011newcastleukjune20242011proceedings |