Expressing and Verifying Temporal and Structural Properties of Mobile Agents
Expressing and Verifying Temporal and Structural Properties of Mobile Agents
Bednarczyk, Marek A. ; Jamroga, Wojciech ; Pawłowski, Wiesław
2006-01-01 00:00:00
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.
http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.pngFundamenta InformaticaeIOS Presshttp://www.deepdyve.com/lp/ios-press/expressing-and-verifying-temporal-and-structural-properties-of-mobile-uInO1sI7RK
Expressing and Verifying Temporal and Structural Properties of Mobile Agents
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.
To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.