Availability: Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents

Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents: [26th June 2006, Turku]

Saved in:

Bibliographic Details
Corporate Author:	International Workshop on Modelling of Objects, Components and Agents Turku (Author)
Other Authors:	Moldt, Daniel (Editor)
Format:	Conference Proceedings Book
Language:	German
Published:	Hamburg Univ., Dep. Informatik 2006
Series:	Universität Hamburg / Department Informatik : Bericht 272
Subjects:	Konferenzschrift
Links:	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
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 xx 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
943	1		\|a oai:aleph.bib-bvb.de:BVB01-018586645

Record in the Search Index

_version_	1819269694266277888
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>01414nam 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 xx 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="943" ind1="1" 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-12-20T13:58:49Z
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
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

Availability

‌

Order via interlibrary loan Table of Contents