Applications and theory of Petri nets 2001: 22nd international conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25 - 29, 2001 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2001
|
| Series: | Lecture notes in computer science
2075 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | XII, 401 S. graph. Darst. |
| ISBN: | 3540422528 |
Staff View
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV013779345 | ||
| 003 | DE-604 | ||
| 005 | 20130703 | ||
| 007 | t| | ||
| 008 | 010612s2001 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 961674288 |2 DE-101 | |
| 020 | |a 3540422528 |9 3-540-42252-8 | ||
| 035 | |a (OCoLC)47355796 | ||
| 035 | |a (DE-599)BVBBV013779345 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-739 |a DE-384 |a DE-824 |a DE-703 |a DE-83 |a DE-706 | ||
| 050 | 0 | |a QA267 | |
| 082 | 0 | |a 511.3 |2 21 | |
| 084 | |a DAT 516f |2 stub | ||
| 084 | |a DAT 005f |2 stub | ||
| 245 | 1 | 0 | |a Applications and theory of Petri nets 2001 |b 22nd international conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25 - 29, 2001 ; proceedings |c José-Manuel Colom ... (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2001 | |
| 300 | |a XII, 401 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 2075 | |
| 500 | |a Literaturangaben | ||
| 650 | 7 | |a Petri, Réseaux de - Congrès |2 ram | |
| 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 2001 |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 Colom, José-Manuel |e Sonstige |0 (DE-588)1036694402 |4 oth | |
| 711 | 2 | |a ICATPN |n 22 |d 2001 |c Newcastle-upon-Tyne |j Sonstige |0 (DE-588)10021659-6 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2075 |w (DE-604)BV000000607 |9 2075 | |
| 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=009419880&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009419880 | |
Record in the Search Index
| _version_ | 1820874903608360960 |
|---|---|
| adam_text |
TABLE OF CONTENTS INVITED PAPERS KRONECKER ALGEBRA AND (STOCHASTIC)
PETRI NETS: IS IT WORTH THE EFFORT? . 1 SUSANNA DONATELLI THE FLUX OF
INTERACTION 19 ROBIN MILNER TOWARDS A NOTION OF DISTRIBUTED TIME FOR
PETRI NETS 23 MOGENS NIELSEN, VLADIMIRO SASSONE, JIFI SRBA FUELL PAPERS
IDENTIFYING COMMONALITIES AND DIFFERENCES IN OBJECT LIFE CYCLES USING
BEHAVIORAL INHERITANCE 32 WIL M.P. VAN DER AALST, TWAN BASTEN TIMED
PETRI NETS AND BQOS 53 PAROSH AZIZ ABDULLA, ALETTA NYLEN CPN/TOOLS: A
POST-WIMP INTERFACE FOR EDITING AND SIMULATING COLOURED PETRI NETS 71
MICHEL BEAUDOUIN-LAFON, WENDY E. MACKAY, PETER ANDERSEN, PAUL JANECEK,
MADS JENSEN, MICHAEL LASSEN, KASPER LUND, KJELD MORTENSEN, STEPHANIE
MUNCK, ANNE RATZER, KATRINE RAVN, S0REN CHRISTENSEN, KURT JENSEN PETRI
NET BASED DESIGN AND IMPLEMENTATION METHODOLOGY FOR DISCRETE EVENT
CONTROL SYSTEMS 81 SLAVEK BULACH, ANTON BRAUCHTE, HANS-JOERG PFLEIDERER,
ZDENEK KUCEROVSKY CONDENSED STATE SPACES FOR TIMED PETRI NETS 101 S0REN
CHRISTENSEN, LARS MICHAEL KRISTENSEN, THOMAS MAILUND UNFOLDING OF
PRODUCTS OF SYMMETRICA! PETRI NETS 121 JEAN-MICHEL COUVREUR, SEBASTIEN
GRIVET, DENIS POITRENAUD PARTIAL ORDER VERIFIKATION OF PROGRAMMABLE
LOGIC CONTROLLERS 144 PETER DEUSSEN STRUCTURAL CHARACTERIZATION AND
QUALITATIVE PROPERTIES OF PRODUCT FORM STOCHASTIC PETRI NETS 164 SERGE
HADDAD, PATRICE MOREAUX, MATTEO SERENO, MANUEL SILVA XII TABLE OF
CONTENTS GENERALIZED CONDITIONS FOR LIVENESS ENFORCEMENT AND DEADLOCK
PREVENTION IN PETRI NETS 184 MARION V. IORDACHE, PANOS ,/. ANTSAKLIS A
CONCURRENT SEMAUTICS OF STATIC EXCEPTIOIIS IN A PARALLEL PROGRAMMING
LANGUAGE 204 HANNA KLAUDEL, FRANCK POMMEREAU MODELUENG THE STRUCTURE AND
BEHAVIOUR OF PETRI NET AGENTS 224 MICHAEL KOEHLER, DANIEL MOLDT, HEIKO
ROELKE MODEL CHECKING LTL PROPERTIES OF HIGH-LEVEL PCTRI NETS WITH
FAIRNESS CONSTRAINTS 242 TIMO LATVALA INCREMENTAL STATE SPACE
CONATRUCTION FOR COLOURED PETRI NETS 263 GLENN LERVIS. CHARLES LAKOS
OPTIMISING ENABLING TESTS AND UNFOLDINGS OF ALGEBRAIC SYSTEM NETS 283
MARKO MAEKELAE EXTENDING THE PETRI BOX CALCULUS WITH TIME 303 OLGA
MARROQMN ALONSO, DAVID DE FRUTOS ESCRIG ABSTRACTIONS AND PARTIAL ORDER
REDUCTIONS FOR CHECKING BRANCHING PROPERTIES OF TIME PETRI NETS 323
WOJCIECH PENCZEK, AGATA POETROLA PR/T-NET BASED SEAMLESS DESIGN OF
EMBEDDED REAL-TIME SYSTEMS 343 CARSTEN RUST, JUERGEN TACKEN, CARSTEN BOEKE
REWRITING LOGIC AND ELAN: PROTOTYPING TOOLS FOR PETRI NETS WITH TIME . .
. 363 L. JASON STEGGLES PARTIAL S-INVARIANTS FOR THE VERIFICATION OF
INFINITE SYSTEMS FAMILIES 382 WALTER VOGLER AUTHOR INDEX 403 |
| any_adam_object | 1 |
| author_GND | (DE-588)1036694402 |
| building | Verbundindex |
| bvnumber | BV013779345 |
| 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 DAT 005f |
| ctrlnum | (OCoLC)47355796 (DE-599)BVBBV013779345 |
| 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>00000nam a22000008cb4500</leader><controlfield tag="001">BV013779345</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130703</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">010612s2001 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">961674288</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540422528</subfield><subfield code="9">3-540-42252-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)47355796</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013779345</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-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-83</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">511.3</subfield><subfield code="2">21</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">DAT 005f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Applications and theory of Petri nets 2001</subfield><subfield code="b">22nd international conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25 - 29, 2001 ; proceedings</subfield><subfield code="c">José-Manuel Colom ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 401 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">2075</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="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">2001</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">Colom, José-Manuel</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1036694402</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ICATPN</subfield><subfield code="n">22</subfield><subfield code="d">2001</subfield><subfield code="c">Newcastle-upon-Tyne</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10021659-6</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">2075</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2075</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=009419880&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-009419880</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2001 Newcastle-upon-Tyne gnd-content |
| genre_facet | Konferenzschrift 2001 Newcastle-upon-Tyne |
| id | DE-604.BV013779345 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:07:08Z |
| institution | BVB |
| institution_GND | (DE-588)10021659-6 |
| isbn | 3540422528 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009419880 |
| oclc_num | 47355796 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-384 DE-824 DE-703 DE-83 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-384 DE-824 DE-703 DE-83 DE-706 |
| physical | XII, 401 S. graph. Darst. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Applications and theory of Petri nets 2001 22nd international conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25 - 29, 2001 ; proceedings José-Manuel Colom ... (ed.) Berlin [u.a.] Springer 2001 XII, 401 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2075 Literaturangaben Petri, Réseaux de - Congrès ram Pétri, Réseaux de - Congrès Petri nets Congresses Petri-Netz (DE-588)4045388-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2001 Newcastle-upon-Tyne gnd-content Petri-Netz (DE-588)4045388-1 s DE-604 Colom, José-Manuel Sonstige (DE-588)1036694402 oth ICATPN 22 2001 Newcastle-upon-Tyne Sonstige (DE-588)10021659-6 oth Lecture notes in computer science 2075 (DE-604)BV000000607 2075 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009419880&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Applications and theory of Petri nets 2001 22nd international conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25 - 29, 2001 ; proceedings Lecture notes in computer science Petri, Réseaux de - Congrès ram 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 2001 22nd international conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25 - 29, 2001 ; proceedings |
| title_auth | Applications and theory of Petri nets 2001 22nd international conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25 - 29, 2001 ; proceedings |
| title_exact_search | Applications and theory of Petri nets 2001 22nd international conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25 - 29, 2001 ; proceedings |
| title_full | Applications and theory of Petri nets 2001 22nd international conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25 - 29, 2001 ; proceedings José-Manuel Colom ... (ed.) |
| title_fullStr | Applications and theory of Petri nets 2001 22nd international conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25 - 29, 2001 ; proceedings José-Manuel Colom ... (ed.) |
| title_full_unstemmed | Applications and theory of Petri nets 2001 22nd international conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25 - 29, 2001 ; proceedings José-Manuel Colom ... (ed.) |
| title_short | Applications and theory of Petri nets 2001 |
| title_sort | applications and theory of petri nets 2001 22nd international conference icatpn 2001 newcastle upon tyne uk june 25 29 2001 proceedings |
| title_sub | 22nd international conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25 - 29, 2001 ; proceedings |
| topic | Petri, Réseaux de - Congrès ram Pétri, Réseaux de - Congrès Petri nets Congresses Petri-Netz (DE-588)4045388-1 gnd |
| topic_facet | Petri, Réseaux de - Congrès Pétri, Réseaux de - Congrès Petri nets Congresses Petri-Netz Konferenzschrift 2001 Newcastle-upon-Tyne |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009419880&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT colomjosemanuel applicationsandtheoryofpetrinets200122ndinternationalconferenceicatpn2001newcastleupontyneukjune25292001proceedings AT icatpnnewcastleupontyne applicationsandtheoryofpetrinets200122ndinternationalconferenceicatpn2001newcastleupontyneukjune25292001proceedings |