In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...

This paper deals with verification of timed and untimed linear properties of the Interval Timed Colored Petri Net model. This model can simulate other timed colored Petri nets and allows describing large and complex real-time systems. We propose here to contract its generally infinite state space into a graph that captures all linear properties of the model. The resulting graph is finite iff, t...

The automatic synthesis of a plan to perform a robotized assembly task from a high level description of the product to be assembled is a difficult issue which involves assembly planning and task planning. One of the main scopes of task planning is the planning of contact motions, which usually relies on a graph representation of contact space. This paper deals with the automatic computation of ...

CRC cards are unconventional method for identifying and describing classes, behavior and its responsibilities and collaborators of class. Representation of three categories of class, responsibilities and collaborators can give proper image of scenario. These cards are effective method for analyzing scenarios. With all positive features of CRC cards, of weaknesses of these cards are failure to s...

Web Services orchestrations require a firm mathematical basis for their development. We start from the Orc formalism proposed by J. Misra and co-workers, at Austin University. Orc is small and elegant and captures the essence of orchestrations. We translate Orc into colored Petri net systems, a generalization of Petri nets allowing to handle recursion—this formalism was recently proposed by Dev...

The stochastic modeling of biological systems is gaining more and more attention when stochastic fluctuations need to be described. On the other hand, the biological systems under investigation become much more complex than before. Traditional modeling methods like stochastic Petri nets do not easily scale and thus become difficult to tackle this situation. This paper aims to present a colored ...