Verlagslink DOI: | 10.7146/dpb.v30i553.7110 |
Titel: | Towards a Unified Approach for Modeling and Verification of Multi-Agent Systems |
Sprache: | Englisch |
Autorenschaft: | Köhler, Michael ![]() Rölke, Heiko |
Herausgeber*In: | Moldt, Daniel |
Schlagwörter: | modeling; multi agent systems; nets within nets; reference nets; verification |
Erscheinungsdatum: | 2001 |
Verlag: | Aarhus University |
Teil der Schriftenreihe: | Workshop on Modelling of Objects, Components, and Agents : Aarhus, Denmark, August 27-28, 2001 |
Zeitschrift oder Schriftenreihe: | DAIMI |
Zeitschriftenband: | 30 |
Zeitschriftenausgabe: | 533 |
Anfangsseite: | 85 |
Endseite: | 104 |
Konferenz: | Workshop on Modelling of Objects, Components and Agents 2001 |
Zusammenfassung: | For complex software systems an agent-oriented design is assumed. The question of modeling and verification is our research area. In this presentation we outline an unified approach for multi agent systems with respect to modeling and verification. This general architecture called - Mulan - is formulated in terms of high level Petrinets, namely reference nets. The formalism of reference nets is ba... |
URI: | http://hdl.handle.net/20.500.12738/3434 |
ISSN: | 0105-8517 |
Begutachtungsstatus: | Diese Version hat ein Peer-Review-Verfahren durchlaufen (Peer Review) |
Einrichtung: | Universität Hamburg |
Dokumenttyp: | Konferenzveröffentlichung |
Enthalten in den Sammlungen: | Publications without full text |
Zur Langanzeige
Volltext ergänzen
Feedback zu diesem Datensatz
Export
Diese Ressource wurde unter folgender Copyright-Bestimmung veröffentlicht: Lizenz von Creative Commons