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...

Intelligent Transport Systems (ITS) tend to be more distributed and embedded. In many cases, continuous physical parameters are part of the systems description. Analysis techniques based on discrete models must integrate such constraints. In this paper, we propose a methodological way to handle such hybrid systems with model checking on Petri Nets and algebraic methods. Our methodology is based...

Computational steering is an interactive remote control of a long running application. The user can adopt it, e.g., to adjust simulation parameters on the fly. Simulation of large-scale biochemical networks is often computationally expensive, particularly stochastic and hybrid simulation. Such extremely time-consuming computations necessitate an interactive mechanism to permit users to try diff...

Petri nets are graphical and mathematical tools for studying discrete event systems. Petri nets have been under extensive development since Petri defined the language in 1962. Various extensions of Petri nets have been developed to study concurrent, asynchronous, distributed, parallel, deterministic, and stochastic system behavior. This paper provides a quick tutorial to learn the basic termino...

Most part of the existing analytical models to predict service reliability and availability assume a static behavior of the service and do not take into account the correlation between the invoked system components. In order to take into account the dynamic aspects of a service as functional chains, operational processes and logistic support, a hybrid approach is here introduced: a dynamic SERA...

process mining includes the automated discovery of petri nets from event logs. these event logs are the starting point for various discovery and analysis techniques of the process.  in this paper process model is developed using colored petri nets (cpns) and the supporting software package cpn tools. the restaurant process model is represented for the analysis using a combination of process min...