Applications and theory of petri nets 2003 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
2003
|
| Schriftenreihe: | Lecture notes in computer science
2679 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV017258882 | ||
| 003 | DE-604 | ||
| 005 | 20030721 | ||
| 007 | t | ||
| 008 | 030624s2003 gw a||| |||| 10||| eng d | ||
| 016 | 7 | |a 967884101 |2 DE-101 | |
| 020 | |a 3540403345 |9 3-540-40334-5 | ||
| 035 | |a (OCoLC)52430699 | ||
| 035 | |a (DE-599)BVBBV017258882 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-91G |a DE-824 |a DE-11 |a DE-706 | ||
| 050 | 0 | |a QA267 | |
| 082 | 0 | |a 004 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 717f |2 stub | ||
| 245 | 1 | 0 | |a Applications and theory of petri nets 2003 |b 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003 ; proceedings |c Wil van der Aalst ... (eds.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 2003 | |
| 300 | |a XI, 508 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 2679 | |
| 650 | 4 | |a Pétri, Réseaux de - Congrès | |
| 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 2003 |z Eindhoven |2 gnd-content | |
| 689 | 0 | 0 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Aalst, Wil van der |d 1966- |e Sonstige |0 (DE-588)121921115 |4 oth | |
| 711 | 2 | |a ICATPN |n 24 |d 2003 |c Eindhoven |j Sonstige |0 (DE-588)10058430-5 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2679 |w (DE-604)BV000000607 |9 2679 | |
| 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=010402818&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-010402818 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102/DAT 001z 2001 A 999-2679 |
|---|---|
| DE-BY-TUM_katkey | 1406714 |
| DE-BY-TUM_local_keycode | ko |
| DE-BY-TUM_media_number | 040020129037 |
| _version_ | 1816712277822275585 |
| adam_text |
WIL VAN DER AALST EIKE BES
T (EDS.)
APPLICATIONS
AND THEORY
OF PETRI NETS 2003
24TH INTERNATIONAL CONFERENCE, ICATPN 2003
EINDHOVEN, TH
E NETHERLANDS
, JUNE 23-27
, 200
3
PROCEEDINGS
4GP SPRINGE
R
TABL
E OF CONTENT
S
INVITE
D PAPER
S
COLOURE
D PETR
I NETS
: STATU
S AN
D OUTLOO
K !
KURT JENSEN (UNIVERSITY OF AARHUS)
TOWARD
S BIOPAT;HWA
Y MODELIN
G AN
D SIMULATIO
N -I
HIROSLN
MATSV.NO
, SACHIE PUJILA, A ISUAHI DOI (YARNAGUCHI UNIVERSITY),
MASAO NAGASAKI, SATORU
AIIYA.NO
(UNIVERSITY OF TOKYO)
TH
E RESOURC
E ALLOCATIO
N PROBLE
M I
N FLEXIBL
E MANUFACTURIN
G SYSTEM
S .
. 23
J.M. COLOTN (UNIVERSIDAD DE ZARAGOZA)
COLORE
D GSP
N MODEL
S FOR TH
E QO
S DESIG
N OF INTERNE
T SUBNET
S 36
M. AJMONE MARS AN (POLITECNIEO DI. TORINO), M. CARCITO. R. LA CIGNO,
M. MEO
COMPOSITIONA
L THEORIE
S OF QUALITATIV
E AN
D QUANTITATIV
E BEHAVIOU
R 37
ED BRINLISMA (UNIVERSITY OF TVIENTE)
NE
T MODEL
S SUPPORTIN
G HUMA
N AN
D HUMAN
E SSEHAVIOR
S 43
CA. ELLIS (UNIVERSITY OF COLORADO)
FUEL
L PAPER
S
DECIDIN
G LIFE-CYCL
E INHERITANC
E O
N PETR
I NET
S 44
H.M. W. VERBEEK, T. BASTEN (EINDHOVEN UNIVERSITY OF TECHNOLOGY)
NET
S ENRIEHC
D OVE
R CLOSE
D MONOIDA
L STRUCTURE
S 64
ERIC BADOUEL (ECOLE NATIONALE SUPERIEURE POLYTECHNIQUE),
JULES CHENOU (UNIVERSITE DE DOUALA)
AUTOMATI
C SYMMETR
Y DETECTIO
N IN WELL-FORME
D NET
S 82
YANN THIERRY-MIEG, CLAUDE
DUTH.EILL.ET
, ISABELLE MOUNIER (LIP6-SRC)
A PROPOSA
L FOR STNICTURIN
G PETR
I NCT-BASE
D AGEN
T INTERACTIO
N PIOTOCOL
S . 102
LAWRENCE CABAC, DANIEL MOLDT, HEIKO ROELKE (UNIVERSITY OF HAMBURG)
MODELLIN
G MOBILIT
Y AN
D MOBIL
E AGENT
S USIN
G NET
S WITHI
N NET
S 121
MICHAEL KOEHLER, DANIEL MOLDT, HEIKO ROELKE (UNIVERSITY OF HAMBURG)
MODULA
R SYSTE
M DEVELOPMEN
T WIT
H PULLBACK
S 110
MAREK A, BEDNARCZYK (IPIPAN), LUCA BERNA.RDINELLO (UNIVERSITAE DEGLI
STUDI DI MILANO-BICOCEA), BENOIT CAILLAUD (IRISA), WK-.SLAW PAWLOWSKI
(IPI PAN), LUCIO. POM.ELLO (UNIVERSITAE DEGLI STUDI D.I. MILANO-BICOCEA)
X TABL
E F CONTENT
S
SPECILICATIO
N AN
D VALIDATIO
N OF TH
E SACI-
1 ON-BOAR
D COMPUTE
R USIN
G
TIMED-CSP-
Z AN
D PETR
I NET
S 161
ADNAN SHE.RIF AUGUSTO SAMPAIO, SERGIO CO-VALCUNTE (FEDERAL UNIVERSITY
OF PERNAMBUCO)
O
N TH
E US
E OF PETR
I NET
S FOR TH
E COMPUTALIOT
I OF COMPLETK
M TIM
E
DISTRIBUTIO
N FOR SHOR
T TC
P TRANSFER
S 181
R. GAETA. M. GRIBAUDO, D. MANINI, M. SERENO (UENVUERSUEA, DT TORM.O)
MODE
L CHECKIN
G SAFET
Y PROPERTIE
S I
N MODULA
R ILIGH-LEVE
L NET
S 20
1
MARKO MAEKELAE (HELSINKI UNIVERSITY OF TECHNOLOGY)
O
N REACBABILIR
Y IN AUTOTIOMOU
S CONTINNON
S PETR
I NE
T SYSTEM
S 22
1
JORGE JUELVEZ, LAURA
REC.AL.DE
, MANUEL SILVA (UNIVERSIDAD DE ZARAGOZA)
O
N TH
E SIPHON-BASE
D CHAXACTERIZATIO
N OF LIVCRICS
S I
N SEQUENTIA
L RESOURC
E
ALLOEATIO
N SYSTEM
S 241
SPYROS .4. REVELIOTIS (GEORGIA INSTITUTE OF TECHNOLOGY)
COLOURE
D PETR
I NET
S I
N DEVELOPMEN
T OF A PEI'VASIV
E HEALT
H CAR
C SYSTE
M . . 256
JENS BAIK JSSRGENSEN (UNIVERSITY OF AARHUS)
LOGICA
L REASONIN
G AN
D PETR
I NET
S 276
KURT LAUTENBACH (UNIVERSITY OF KOBLENZ-LANDAU)
REACTIV
E PETR
I NET
S FOR WORKFLO
W MODELIN
G 29
6
RIK ESHV.IS (LI A SIT I CRP HENRI TUDOR), JULIANE DEHNERT (TECHNICAL
UNIVERSITY BERLIN)
DISTRIBUTE
D DIAGNOSI
S OF DISCRETE-EVEN
T SYSTEM
S USIN
G PETR
I NET
S 31
6
SAHIKA GENE, STEPHANE LAFORTUNE (UNIVERSITY OF MICHIGAN)
SOUNDNES
S AN
D SEPARABILIT
Y OF WORKFLO
W NET
S I
N TH
E STEPWIS
E
REFINEMEN
T APPROAC
H 33
7
KEES VAN HEE, NATALIA SIDOROVA. MARC VOORHOEVE
(EINDHOVEN UNIVERSITY OF TECHNOLOGY)
O
N SYNCHRONICIT
Y AN
D CONCURRENC
Y I
N PETR
I NET
S 35
7
GABRIEL JUHDS, ROBERT LORENZ, TOMAS SINGLIAR (KATHOLISCHE UNIVERSITAET
EIEHSTAETT-INGOLSTADT)
ANALYSIN
G PROPERTIE
S OF TH
E RESOURC
E RESERVATIO
N PROTOCO
L 37
7
MORIA E. VILLAPOL (UNIVERSITY OF VENEZUELA), JONATHAN BILLINGTON
(UNIVERSITY OF SOUTH AUSTMLIA)
HIERARCHICA
L TI
M C
D HIG
H LEVE
L NET
S AN
D THCI
R BRANCHIN
G PROCESSE
S 39
7
HANS FLEISCHHACK (CARL VON OSSICTZKY UNIVERSITAET OLDENBURG),
ELISABETH PELZ (UNIVERSITE. PARIS XII)
TALILE OF CONTENT
S XI
A HEURISTI
C ALGORITH
M FSDC BASE
D O
N AVOIDANC
E OF DEADLOC
K
COMPONENT
S IN FINDIN
G LEGA
L FIRIN
G SCQUENCE
S OF PETR
I NET
S 117
SATOSHI TAOKA, SHINJI FURUSAT.O. TOSHIMASA WATANABE
(HIROSHIMA UNIVERSITY)
TOO
L PAPCR
S
PL
C PROGRAMMIN
G WIT
H SIGNA
! INTERPRETE
D PETR
I NET
S 44
0
STEPHANE KLEIN (UNIVERSITY OF KAISERSLAUTERN. LURPA), GEORG FREY
(UNIVERSITY OF KAISERSLAUTERN), MARK MINAS (UNIVERSITY OF THE
FEDERAL ARMED FORCES, MUNICH)
CP
N TOOL
S IO
R EDITING
, SIMULATING
, AN
D ANALYSIN
G COLOURE
D PETR
I NET
S . . 45
0
ANNE VINTER ROTZER. LISA WELLS. HENRY MICHAEL LASSEN.
MADS LAURSEN, JACOB FRANK QVORTRUP, MARTIN STIQ STISSING,
MICHAEL WESTERGAARD, SEREN CLMSTENSEN. KURT JENSEN (UNIVERSITY OF
AA.RHUS)
TH
E MODEL-CHECKIN
G KI
T 4G3
CLAUS SCHROETER, STEFAN SCHWOON, JAVIER ESPARZA (UNIVERSITAET STUTTGART)
PROTOTYPIN
G OBJEE
T ORIENTE
D SPECUEICATIORI
S 47
3
ALI AL-SHABIBI, DIDIER BUCHS, MATHIEU BUFFO, STANISTAV CIIACIIKOV.
ANG CHEN. DAVID ILURZELER (SWISS FEDERAL INSTITUTE OF TECHNOLOGY
LAUSANNE)
PNM
L PAPE
R
TH
E PETR
I NE
T MARKU
P LANGUAGE
: CONEEPTE
. TECHNOLOGY
, AN
D TOOL
S 48
3
JONATHAN BUELINGTON (UNIVERSITY OF SOUTH AUSTRALIA),
S0REN CHRISTENSEN (UNIVERSITY OF AARHUS), KEES VAN HEE (TECHNISCHE
UENIVERSUEEIT EINDHOVEN), EKKART KINDLER (UNIVERSITY OF PADERBORN).
OLAF KUMMER (COREMEDIA AG), LAURE PETRUCCI (LAHORATENRE
SPECIFICATION ET VERIFICATION), R.EMIER POST (TECHNISCHE UENIVERSUEEIT
EINDHOVEN), CHRISTIAN STEHNO (CARL VON OSSIETZKY UNIVERSITY
OLDENBURG), MICHAEL WEHER (HUMBOLDT-UNIVERSITAET ZU BERLIN)
AUTHO
R INDE
X
50
7 |
| any_adam_object | 1 |
| author_GND | (DE-588)121921115 |
| building | Verbundindex |
| bvnumber | BV017258882 |
| 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 717f |
| ctrlnum | (OCoLC)52430699 (DE-599)BVBBV017258882 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| 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">BV017258882</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20030721</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">030624s2003 gw a||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">967884101</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540403345</subfield><subfield code="9">3-540-40334-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)52430699</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017258882</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-91G</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</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 717f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Applications and theory of petri nets 2003</subfield><subfield code="b">24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003 ; proceedings</subfield><subfield code="c">Wil van der Aalst ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 508 S.</subfield><subfield code="b">Ill.</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">2679</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Pétri, Réseaux de - Congrès</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">2003</subfield><subfield code="z">Eindhoven</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">Aalst, Wil van der</subfield><subfield code="d">1966-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)121921115</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ICATPN</subfield><subfield code="n">24</subfield><subfield code="d">2003</subfield><subfield code="c">Eindhoven</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10058430-5</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">2679</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2679</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=010402818&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-010402818</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2003 Eindhoven gnd-content |
| genre_facet | Konferenzschrift 2003 Eindhoven |
| id | DE-604.BV017258882 |
| illustrated | Illustrated |
| indexdate | 2024-11-25T17:19:56Z |
| institution | BVB |
| institution_GND | (DE-588)10058430-5 |
| isbn | 3540403345 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010402818 |
| oclc_num | 52430699 |
| open_access_boolean | |
| owner | DE-384 DE-91G DE-BY-TUM DE-824 DE-11 DE-706 |
| owner_facet | DE-384 DE-91G DE-BY-TUM DE-824 DE-11 DE-706 |
| physical | XI, 508 S. Ill. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spellingShingle | Applications and theory of petri nets 2003 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003 ; proceedings Lecture notes in computer science Pétri, Réseaux de - Congrès Petri nets Congresses Petri-Netz (DE-588)4045388-1 gnd |
| subject_GND | (DE-588)4045388-1 (DE-588)1071861417 |
| title | Applications and theory of petri nets 2003 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003 ; proceedings |
| title_auth | Applications and theory of petri nets 2003 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003 ; proceedings |
| title_exact_search | Applications and theory of petri nets 2003 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003 ; proceedings |
| title_full | Applications and theory of petri nets 2003 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003 ; proceedings Wil van der Aalst ... (eds.) |
| title_fullStr | Applications and theory of petri nets 2003 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003 ; proceedings Wil van der Aalst ... (eds.) |
| title_full_unstemmed | Applications and theory of petri nets 2003 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003 ; proceedings Wil van der Aalst ... (eds.) |
| title_short | Applications and theory of petri nets 2003 |
| title_sort | applications and theory of petri nets 2003 24th international conference icatpn 2003 eindhoven the netherlands june 23 27 2003 proceedings |
| title_sub | 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003 ; proceedings |
| topic | Pétri, Réseaux de - Congrès Petri nets Congresses Petri-Netz (DE-588)4045388-1 gnd |
| topic_facet | Pétri, Réseaux de - Congrès Petri nets Congresses Petri-Netz Konferenzschrift 2003 Eindhoven |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010402818&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT aalstwilvander applicationsandtheoryofpetrinets200324thinternationalconferenceicatpn2003eindhoventhenetherlandsjune23272003proceedings AT icatpneindhoven applicationsandtheoryofpetrinets200324thinternationalconferenceicatpn2003eindhoventhenetherlandsjune23272003proceedings |