Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: Petri hypernets

Sortuj według:

Ogranicz wyniki do:

Expressing and Verifying Temporal and Structural Properties of Mobile Agents

Bednarczyk M.A., Jamroga W., Pawłowski W.

Fundamenta Informaticae

2006

Vol. 72, nr 1-3

51-63

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 problem of model checking properties of a class of the logic on Petri hypernets is shown to be pspace-complete.