Expressing and verifying temporal and structural properties of mobile agents

Bednarczyk, Marek A.; Jamroga, Wojciech; Pawłowski, Wiesław

The paper deals with logics for expressing temporal and structural properties of Petri hypernets, a visual formalism for modeling mobile agents. In particular, we consider how such logics can be build as a composition of two formalismsone for expressing the temporal, another for expressing the structural properties of multiagent systems. The problem of model checking properties of a class of composed logics on Petri hypernets is shown to be PSPACE-complete. Keywords: multi-agent systems, mobile agents, Petri hypernets, temporal logics, model checking.

Vorschau

Zitieren

Zitierform:

Bednarczyk, Marek / Jamroga, Wojciech / Pawłowski, Wiesław: Expressing and verifying temporal and structural properties of mobile agents. Clausthal-Zellerfeld 2005. Institut für Informatik.

Zugriffsstatistik

Gesamt:
Volltextzugriffe:
Metadatenansicht:
12 Monate:
Volltextzugriffe:
Metadatenansicht:

Grafik öffnen

Rechte

Nutzung und Vervielfältigung:
Alle Rechte vorbehalten

Export