161 search results - page 12 / 33 » fuin 2006 |
FUIN
2006
15 years 2 days ago
2006
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...
FUIN
2006
15 years 2 days ago
2006
Abstract. The paper presents a new calculus suitable to describe microbiological systems and their evolution. We use the calculus to model interactions among bacteria and bacteriop...
88
Voted
FUIN
2007
15 years 23 hour ago
2007
A symmetric version of the well-known SPM model for sandpiles is introduced. We prove that the new model has fixed point dynamics. Although there might be several fixed points, ...
107
click to vote
FUIN
2007
15 years 22 hour ago
2007
The paper presents a method of abstraction for timed systems. To extract an abstract model of a timed system we propose to use static analysis, namely a technique called path compr...
FUIN
2007
15 years 22 hour ago
2007
It is shown that the boundedness problem for a certain class of basic object nets and a corresponding class of multiset rewriting systems is decidable. To achieve this result Dicks...