Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents: [26th June 2006, Turku]
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | German |
| Published: |
Hamburg
Univ., Dep. Informatik
2006
|
| Series: | Universität Hamburg / Department Informatik : Bericht
272 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | VI, 307 S. graph. Darst. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV024614178 | ||
| 003 | DE-604 | ||
| 005 | 20090910 | ||
| 007 | t | ||
| 008 | 090924s2006 d||| |||| 10||| ger d | ||
| 035 | |a (OCoLC)916645805 | ||
| 035 | |a (DE-599)BVBBV024614178 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-83 | ||
| 088 | |a FBI-HH-B-272-06 | ||
| 111 | 2 | |a International Workshop on Modelling of Objects, Components and Agents |n 4 |d 2006 |c Turku |j Verfasser |0 (DE-588)10144853-3 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents |b [26th June 2006, Turku] |c MOCA '06. Ed.: Daniel Moldt |
| 264 | 1 | |a Hamburg |b Univ., Dep. Informatik |c 2006 | |
| 300 | |a VI, 307 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Universität Hamburg / Department Informatik : Bericht |v 272 | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Moldt, Daniel |4 edt | |
| 810 | 2 | |a Department Informatik |t Universität Hamburg |v Bericht ; 272 |w (DE-604)BV000001174 |9 272 | |
| 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=018586645&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-018586645 | ||
Record in the Search Index
| _version_ | 1804140632114987008 |
|---|---|
| adam_text | UNIVERSITAT HAMBURG DEPARTMENT INFORMATIK VOGT-K6LLN-STR. 30 D-22527
HAMBURG BERICHT 272 PROCEEDINGS OFTHE FOURTH INTERNATIONALWORKSHOP ON
MODELLING OF OBJECTS, COMPONENTS AND AGENTS MOCA06 FBI-HH-B-272/06
TECHNISCHE INFORMATIONSBIBLIOTHEK UNIVERSITATSBIBLIOTHEK HANNOVER
EDITOR: DANIELMOLDT UNIVERSITATHAMBURG DEPARTMENT INFORMATIK IN DIE
REIHE DER BERICHTE DES FACHBEREICHS INFORMATIK AUFGENOMMEN DURCH PROF.
DR. R.VALK PROF. DR. A.ROLF TIB/UB HANNOVER 89 CONTENTS 1 PETRI NETS
AND. MODEL-BASED DEVELOPMENT FABRICE KORDON 3 2 A DESIGN FRAMEWORK FOR
INTERACTIVE SIMULATION BASED ON FORMAL SPECIFICATION OF SCENARIOS MICHEL
AUGERAUD, PR6D6RIC COLLI, PASCAL ESTRAILLIER AND DAVID SARMMIA. 7 3 FROM
PETRI HYPERNETS TO 1-SAFE NETS MAREK A. BEDNARCZYK, LUCA DERN,ARDINELLO,
WIESLAW PAWTOWSM AND LUCIA POMELLO 23 4 LARGE SCALE SIMULATIONS OF
RAILROAD NETS JOAKIM BJ0RK, ANDERS M. HAGALISLETTO, AND P&L ENGER 45 5
AN APPROACH TO MODEL VARIATIONS OF A SCENARIO: APPLICATION TO
INTELLIGENT TRANSPORT SYSTEMS FABIEN BONNEFOI, LORN MESSAN HILLAH,
FABRICE KORDON AND GUY FRDMONT 65 6 NET COMPONENTS REVISITED LAWRENCE
CABAC, MICHAEL DUVIGNEAU, HEIKO ROLKE 87 7 MODELING DISTRIBUTED SYSTEMS
USING CONCURRENT OBJECT ORIENTED PETRI NETS ANG CHEN, DIDIER BUCKS, LEVI
LUCIO, LUIS PEDRO AND MATTEO RISOLDI ,.. 103 8 DEFINING FORMALISMS AND
MODELS IN THE DRAW-NET MODELING SYSTEM DANIELE. CODETTA-RAITERI,
GIULIANA FRANCESCHINIS AND MARCO GRIBAUDO ... 123 9 PROCESS MINING IN A
MULTI-AGENT AUCTIONING SYSTEM BOUDEWIJN VAN DONGEN, JEREON VAN LUIN AND
ERIC VERBEEK 145 VI CONTENTS 10 APPLYING PETRI NET UNFOLDINGS FOR
VERIFICATION OF MOBILE SYSTEMS VICTOR KHOMENKO, MACIEJ KOUTNY AND
APOSTOLOS NIAOURIS 161 11 THE REACHABILITY PROBLEM FOR OBJECT NETS
MICHAEL KOHLER 179 12 MODELLING MOBILE IP WITH MOBILE PETRI NETS CHARLES
LAKOS 199 13 MODULAR DISCRETE PSEUDO-STATE GRAPHS FOR TIME PETRI NETS
SAMIA MAZOUZ AND LAURC PETRUCCI 223 14 PETRI NET-BASED TEAM MODULES FOR
COLLABORATIVE MULTI-AGENT ACTION MATTHIAS WESTER-EBBINGHAUS AND HEIKO
ROLKE 245 15 PETRI NET PLANS VITTORIO AMOS ZIPARO AND LUCA IOCCHI 267 16
MODELLING SERVICE DEPENDENCIES FOR THE ANALYSIS AND DESIGN OFMULTI-AGENT
APPLICATIONS LAWRENCE CABAC, RAGNA DIRKNER AND HEIKO ROLKE 291 17
PNTALK: STATE OF THE ART MILAN CESKA, VLADIMIR JANOUSEK, RADEK KOCI,
BOHUSLAV KFENA AND TOMDS VOJNAR 299
|
| any_adam_object | 1 |
| author2 | Moldt, Daniel |
| author2_role | edt |
| author2_variant | d m dm |
| author_corporate | International Workshop on Modelling of Objects, Components and Agents Turku |
| author_corporate_role | aut |
| author_facet | Moldt, Daniel International Workshop on Modelling of Objects, Components and Agents Turku |
| author_sort | International Workshop on Modelling of Objects, Components and Agents Turku |
| building | Verbundindex |
| bvnumber | BV024614178 |
| ctrlnum | (OCoLC)916645805 (DE-599)BVBBV024614178 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01413nam a2200313 cb4500</leader><controlfield tag="001">BV024614178</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090910 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090924s2006 d||| |||| 10||| ger d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)916645805</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV024614178</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">FBI-HH-B-272-06</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Workshop on Modelling of Objects, Components and Agents</subfield><subfield code="n">4</subfield><subfield code="d">2006</subfield><subfield code="c">Turku</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)10144853-3</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents</subfield><subfield code="b">[26th June 2006, Turku]</subfield><subfield code="c">MOCA '06. Ed.: Daniel Moldt</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Hamburg</subfield><subfield code="b">Univ., Dep. Informatik</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 307 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">Universität Hamburg / Department Informatik : Bericht</subfield><subfield code="v">272</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Moldt, Daniel</subfield><subfield code="4">edt</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department Informatik</subfield><subfield code="t">Universität Hamburg</subfield><subfield code="v">Bericht ; 272</subfield><subfield code="w">(DE-604)BV000001174</subfield><subfield code="9">272</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=018586645&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-018586645</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV024614178 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:03:04Z |
| institution | BVB |
| institution_GND | (DE-588)10144853-3 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018586645 |
| oclc_num | 916645805 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | VI, 307 S. graph. Darst. |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Univ., Dep. Informatik |
| record_format | marc |
| series2 | Universität Hamburg / Department Informatik : Bericht |
| spelling | International Workshop on Modelling of Objects, Components and Agents 4 2006 Turku Verfasser (DE-588)10144853-3 aut Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents [26th June 2006, Turku] MOCA '06. Ed.: Daniel Moldt Hamburg Univ., Dep. Informatik 2006 VI, 307 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Universität Hamburg / Department Informatik : Bericht 272 (DE-588)1071861417 Konferenzschrift gnd-content Moldt, Daniel edt Department Informatik Universität Hamburg Bericht ; 272 (DE-604)BV000001174 272 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018586645&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents [26th June 2006, Turku] |
| subject_GND | (DE-588)1071861417 |
| title | Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents [26th June 2006, Turku] |
| title_auth | Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents [26th June 2006, Turku] |
| title_exact_search | Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents [26th June 2006, Turku] |
| title_full | Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents [26th June 2006, Turku] MOCA '06. Ed.: Daniel Moldt |
| title_fullStr | Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents [26th June 2006, Turku] MOCA '06. Ed.: Daniel Moldt |
| title_full_unstemmed | Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents [26th June 2006, Turku] MOCA '06. Ed.: Daniel Moldt |
| title_short | Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents |
| title_sort | proceedings of the fourth international workshop on modelling of objects components and agents 26th june 2006 turku |
| title_sub | [26th June 2006, Turku] |
| topic_facet | Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018586645&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000001174 |
| work_keys_str_mv | AT internationalworkshoponmodellingofobjectscomponentsandagentsturku proceedingsofthefourthinternationalworkshoponmodellingofobjectscomponentsandagents26thjune2006turku AT moldtdaniel proceedingsofthefourthinternationalworkshoponmodellingofobjectscomponentsandagents26thjune2006turku |