Application and theory of Petri nets 2002: 23rd international conference, ICATPN 2002, Adelaide, Australia, June 24 - 30, 2002 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2002
|
| Schriftenreihe: | Lecture notes in computer science
2360 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | X, 444 S. Ill., graph. Darst. |
| ISBN: | 3540437878 |
Internformat
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV014309916 | ||
| 003 | DE-604 | ||
| 005 | 20020724 | ||
| 007 | t | ||
| 008 | 020521s2002 gw ad|| |||| 10||| eng d | ||
| 016 | 7 | |a 96439653X |2 DE-101 | |
| 020 | |a 3540437878 |9 3-540-43787-8 | ||
| 035 | |a (OCoLC)50052893 | ||
| 035 | |a (DE-599)BVBBV014309916 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-739 |a DE-91G |a DE-824 |a DE-29T |a DE-473 |a DE-83 |a DE-706 |a DE-11 | ||
| 050 | 0 | |a QA267 | |
| 082 | 0 | |a 511.3 |2 21 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 516f |2 stub | ||
| 245 | 1 | 0 | |a Application and theory of Petri nets 2002 |b 23rd international conference, ICATPN 2002, Adelaide, Australia, June 24 - 30, 2002 ; proceedings |c Javier Esparza ; Charles Lakos (ed.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London |b Springer |c 2002 | |
| 300 | |a X, 444 S. |b Ill., 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 2360 | |
| 500 | |a Literaturangaben | ||
| 650 | 7 | |a Petri, Réseaux de - Congrès |2 ram | |
| 650 | 7 | |a informatique parallèle |2 inriac | |
| 650 | 7 | |a méthode formelle |2 inriac | |
| 650 | 7 | |a programmation parallèle |2 inriac | |
| 650 | 7 | |a réseau Petri coloré |2 inriac | |
| 650 | 7 | |a réseau Petri stochastique |2 inriac | |
| 650 | 7 | |a réseau Petri temporisé |2 inriac | |
| 650 | 7 | |a réseau Petri |2 inriac | |
| 650 | 7 | |a système concurrent |2 inriac | |
| 650 | 7 | |a vérification modèle |2 inriac | |
| 650 | 4 | |a Petri nets |v Congresses | |
| 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 2002 |z Adelaide |2 gnd-content | |
| 689 | 0 | 0 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Esparza, Javier |d 1964- |e Sonstige |0 (DE-588)111831016 |4 oth | |
| 711 | 2 | |a ICATPN |n 23 |d 2002 |c Adelaide |j Sonstige |0 (DE-588)16029813-1 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2360 |w (DE-604)BV000000607 |9 2360 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009816868&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009816868 | ||
Datensatz im Suchindex
| _version_ | 1804129207274438656 |
|---|---|
| adam_text | JAVIER ESPARZA CHARLES LAKOS (EDS.) APPLICATION AND THEORY OF PETRI NETS
2002 23RD INTERNATIONAL CONFERENCE, ICATPN 2002 ADELAIDE, AUSTRALIA,
JUNE 24-30, 2002 PROCEEDINGS 4GFTF SPRINGER TABLE OF CONTENTS INVITED
PAPERS MAKING WORK FLOW: ON THE APPLICATION OF PETRI NETS TO BUSINESS
PROCESS MANAGEMENT 1 WIL M. P. VAN DER AALST MODEL VALIDATION - A
THEORETICAL ISSUE? 23 JOERG DESEL THE REAL-TIME REFINEMENT CALCULUS: A
FOUNDATION FOR MACHINE-INDEPENDENT REAL-TIME PROGRAMMING 44 IAN J. RAY
ES THE CHALLENGE OF OBJECT ORIENTATION FOR THE ANALYSIS OF CONCURRENT
SYSTEMS 59 CHARLES LAKOS ABSTRACT CYCLIC COMMUNICATING PROCESSES: A
LOGICAL VIEW 68 P. S. THIAGARAJAN IS THE DIE CAST FOR THE TOKEN GAME? 70
ALEX YAKOVLEV REGULAER PAPERS QUASI-STATIC SCHCDULING OF INDCPENDENT
TASKS FOR REACTIVE SYSTEMS 80 JORDI CORTADEUEA, ALEX KONDRATYEV, LUCIANO
LAVAGNO, CLAUDIO PASSERONE, AND YOSINORI WATANABE DATA DECISION DIAGRAMS
FOR PETRI NET ANALYSIS 101 JEAN-MICHEL COUVREUR, EMMANUELLE ENCRENAZ,
EMMANUEL PAVIOT-ADET, DENIS POITRENAUD, AND PIERRE-ANDRE WACRENIER
NON-CONTROLLABLE CHOICE ROBUSTNESS EXPRESSING THE CONTROLLABILITY OF
WORKFLOW PROCESSES 121 JULIANE DEHNERT REAL-TIME SYNCHRONISED PETRI NETS
142 GIOVANNA DI MARZO SERUGENDO, DINO MANDRIOLI, DIDIER BUCHS, AND
NICOLAS GUELFI COMPUTING A FINITE PREFIX OF A TIME PETRI NET 163 HANS
FLEISCHHACK AND CHRISTIAN STEHNO VERIFICATION OF A REVISCD WAP WIRELCSS
TRANSACTION PROTOCOL 182 STEVEN GORDON, LARS MICHAEL KRISTENSEN, AND
JONATHAN BILLINGTON X TABLE OF CONTENTS CHARACTERIZING LIVENESS OF PETRI
NETS IN TERMS OF SIPHONS 203 LI JIAO, TO- YAT CHEUNG, AND WEIMING LU
PETRI NETS, SITUATIONS, AND AUTOMATA 217 EKKART KINDLER REPRODUCIBILITY
OF THE EMPTY MARKING 237 KURT LAUTENBACH MODELING AND ANALYSIS OF
MULTI-CLASS THRCSHOLD-BASED QUEUES WITH HYSTERESIS USING STOCHASTIC
PETRI NETS 254 LOUIS-MARIE LE NY AND BRUNO TUFFIN TACKLING THE INFINITE
STATE SPACE OF A MULTIMEDIA CONTROL PROTOCOL SERVICE SPECIFICATION 273
HIN LIU AND JONATHAN BILLINGTON MODELLING OF FEATURES AND FEATURE
INTERACTJONS IN NOKIA MOBILE PHONES USING COLOURED PETRI NETS 294 LOUISE
LORENTSEN, ANTTI-PEKKA TUOVMEN, AND JIANLI XU ANALYSING INFINITE-STATE
SYSTEMS BY COMBINING EQUIVALCNCE REDUCTION AND THE SWEEP-LINE METHOD 314
THOMAS MAIIUND REGULAER EVENT STRUCTURES AND FINITE PETRI NETS: THE
CONFLICT-FREE CASE ... 335 MOGENS NIELSEN AND P. S. THIAGARAJAN A FORMAL
SERVICE SPECIFICATION FOR THE INTERNET OPEN TRADING PROTOCOL .... 352
C HUN OUYANG, LARS MICHAEL KRISTENSEN, AND JONATHAN BILLINGTON
TRANSITION REFINEMCNT FOR DERIVING A DISTRIBUTCD MINIMUM WEIGHT SPANNING
TREE ALGORITHM 374 SIBYLLE PEUKER TOKEN-CONTROLLED PLACE REFINEMENT IN
HIERARCHICAL PETRI NETS WITH APPLICATION TO ACTIVE DOCUMENT WORKFLOW 394
DAVID G. STORK AND ROB VAN GLABBEEK TRANSLATING TPAL SPECIFICATIONS INTO
TIMED-ARC PETRI NETS 414 VALENTIN VALERO, JUAN JOSE PARDO, AND FERNANDO
CUARTERO TOOL PRESENTATION MARIA: MODULAR REACHABILITY ANALYSER FOR
ALGEBRAIC SYSTEM NETS 434 MARKO MAEKELAE AUTHOR INDEX 445
|
| any_adam_object | 1 |
| author_GND | (DE-588)111831016 |
| building | Verbundindex |
| bvnumber | BV014309916 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267 |
| callnumber-search | QA267 |
| callnumber-sort | QA 3267 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 516f |
| ctrlnum | (OCoLC)50052893 (DE-599)BVBBV014309916 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| 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>02369nam a22005658cb4500</leader><controlfield tag="001">BV014309916</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20020724 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">020521s2002 gw ad|| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">96439653X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540437878</subfield><subfield code="9">3-540-43787-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)50052893</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014309916</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">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Application and theory of Petri nets 2002</subfield><subfield code="b">23rd international conference, ICATPN 2002, Adelaide, Australia, June 24 - 30, 2002 ; proceedings</subfield><subfield code="c">Javier Esparza ; Charles Lakos (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 444 S.</subfield><subfield code="b">Ill., 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">2360</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Petri, Réseaux de - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">informatique parallèle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">méthode formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation parallèle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">réseau Petri coloré</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">réseau Petri stochastique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">réseau Petri temporisé</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">réseau Petri</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système concurrent</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification modèle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Petri nets</subfield><subfield code="v">Congresses</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">2002</subfield><subfield code="z">Adelaide</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">Esparza, Javier</subfield><subfield code="d">1964-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)111831016</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ICATPN</subfield><subfield code="n">23</subfield><subfield code="d">2002</subfield><subfield code="c">Adelaide</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16029813-1</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">2360</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2360</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=009816868&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009816868</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2002 Adelaide gnd-content |
| genre_facet | Konferenzschrift 2002 Adelaide |
| id | DE-604.BV014309916 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T19:01:28Z |
| institution | BVB |
| institution_GND | (DE-588)16029813-1 |
| isbn | 3540437878 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009816868 |
| oclc_num | 50052893 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-91G DE-BY-TUM DE-824 DE-29T DE-473 DE-BY-UBG DE-83 DE-706 DE-11 |
| owner_facet | DE-384 DE-739 DE-91G DE-BY-TUM DE-824 DE-29T DE-473 DE-BY-UBG DE-83 DE-706 DE-11 |
| physical | X, 444 S. Ill., graph. Darst. |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Application and theory of Petri nets 2002 23rd international conference, ICATPN 2002, Adelaide, Australia, June 24 - 30, 2002 ; proceedings Javier Esparza ; Charles Lakos (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2002 X, 444 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2360 Literaturangaben Petri, Réseaux de - Congrès ram informatique parallèle inriac méthode formelle inriac programmation parallèle inriac réseau Petri coloré inriac réseau Petri stochastique inriac réseau Petri temporisé inriac réseau Petri inriac système concurrent inriac vérification modèle inriac Petri nets Congresses Petri-Netz (DE-588)4045388-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2002 Adelaide gnd-content Petri-Netz (DE-588)4045388-1 s DE-604 Esparza, Javier 1964- Sonstige (DE-588)111831016 oth ICATPN 23 2002 Adelaide Sonstige (DE-588)16029813-1 oth Lecture notes in computer science 2360 (DE-604)BV000000607 2360 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009816868&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Application and theory of Petri nets 2002 23rd international conference, ICATPN 2002, Adelaide, Australia, June 24 - 30, 2002 ; proceedings Lecture notes in computer science Petri, Réseaux de - Congrès ram informatique parallèle inriac méthode formelle inriac programmation parallèle inriac réseau Petri coloré inriac réseau Petri stochastique inriac réseau Petri temporisé inriac réseau Petri inriac système concurrent inriac vérification modèle inriac Petri nets Congresses Petri-Netz (DE-588)4045388-1 gnd |
| subject_GND | (DE-588)4045388-1 (DE-588)1071861417 |
| title | Application and theory of Petri nets 2002 23rd international conference, ICATPN 2002, Adelaide, Australia, June 24 - 30, 2002 ; proceedings |
| title_auth | Application and theory of Petri nets 2002 23rd international conference, ICATPN 2002, Adelaide, Australia, June 24 - 30, 2002 ; proceedings |
| title_exact_search | Application and theory of Petri nets 2002 23rd international conference, ICATPN 2002, Adelaide, Australia, June 24 - 30, 2002 ; proceedings |
| title_full | Application and theory of Petri nets 2002 23rd international conference, ICATPN 2002, Adelaide, Australia, June 24 - 30, 2002 ; proceedings Javier Esparza ; Charles Lakos (ed.) |
| title_fullStr | Application and theory of Petri nets 2002 23rd international conference, ICATPN 2002, Adelaide, Australia, June 24 - 30, 2002 ; proceedings Javier Esparza ; Charles Lakos (ed.) |
| title_full_unstemmed | Application and theory of Petri nets 2002 23rd international conference, ICATPN 2002, Adelaide, Australia, June 24 - 30, 2002 ; proceedings Javier Esparza ; Charles Lakos (ed.) |
| title_short | Application and theory of Petri nets 2002 |
| title_sort | application and theory of petri nets 2002 23rd international conference icatpn 2002 adelaide australia june 24 30 2002 proceedings |
| title_sub | 23rd international conference, ICATPN 2002, Adelaide, Australia, June 24 - 30, 2002 ; proceedings |
| topic | Petri, Réseaux de - Congrès ram informatique parallèle inriac méthode formelle inriac programmation parallèle inriac réseau Petri coloré inriac réseau Petri stochastique inriac réseau Petri temporisé inriac réseau Petri inriac système concurrent inriac vérification modèle inriac Petri nets Congresses Petri-Netz (DE-588)4045388-1 gnd |
| topic_facet | Petri, Réseaux de - Congrès informatique parallèle méthode formelle programmation parallèle réseau Petri coloré réseau Petri stochastique réseau Petri temporisé réseau Petri système concurrent vérification modèle Petri nets Congresses Petri-Netz Konferenzschrift 2002 Adelaide |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009816868&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT esparzajavier applicationandtheoryofpetrinets200223rdinternationalconferenceicatpn2002adelaideaustraliajune24302002proceedings AT icatpnadelaide applicationandtheoryofpetrinets200223rdinternationalconferenceicatpn2002adelaideaustraliajune24302002proceedings |