Back to Search
Start Over
Expressing and Verifying Temporal and Structural Properties of Mobile Agents.
- Source :
-
Fundamenta Informaticae . 2006, Vol. 72 Issue 1-3, p51-63. 13p. 5 Diagrams. - Publication Year :
- 2006
-
Abstract
- Logics for expressing properties of Petri hypernets, a visual formalism for modelling mobile agents, are proposed. Two classes of properties are of interest – the temporal evolution of agents and their structural correlation. In particular, we investigate how the classes can be combined into a logic capable of expressing the dynamic evolution of the structural correlation. The problemof model checking properties of a class of the logic on Petri hypernets is shown to be PSPACE-complete. [ABSTRACT FROM AUTHOR]
- Subjects :
- *PETRI nets
*MOBILE agent systems
*LOGIC
*GRAPH theory
*INTELLIGENT agents
Subjects
Details
- Language :
- English
- ISSN :
- 01692968
- Volume :
- 72
- Issue :
- 1-3
- Database :
- Academic Search Index
- Journal :
- Fundamenta Informaticae
- Publication Type :
- Academic Journal
- Accession number :
- 21970950