Multi-agent interaction protocols play a crucial role in multi-agent systems (MAS) development. They are used to manage and to control interactions among several autonomous agents in a MAS. Their formal specification, as well as their verification, constitute an essential task for the design of MAS applications. Several approaches have been proposed to formally represent agent interaction proto...

In this paper, a framework for a simulation approach to develop a formal representation of control and analysis of human-involved computer integrated manufacturing systems (Hi-CIM) is presented. Important properties of a human material handler within manufacturing systems are discussed and human tasks and errors are identified to build a simulation model. Based on the number of locations where ...

Intrusion detection systems (IDS) often provide poor quality alerts, which are insufficient to support rapid identification of ongoing attacks or predict an intruder’s next likely goal. In this paper, we propose a novel approach to alert postprocessing and correlation, the Hidden Colored Petri-Net (HCPN). Different from most other alert correlation methods, our approach treats the alert correla...

Colored Petri Nets (CP-nets or CPNs) are powerful modeling language for concurrent systems. As CPNs' model checking, the mainstream method is unfolding that transforms a CPN into an equivalent P/T net. However net tends to be too enormous handled. checking models without unfolding, we present three practical on-the-fly verification methods which all focused on how make state space generation mo...

UNLABELLED Searching for therapeutic strategies for Duchenne muscular dystrophy, it is of great interest to understand the responsible molecular pathways down-stream of dystrophin completely. For this reason we have performed real-time PCR experiments to compare mRNA expression levels of relevant genes in tissues of affected patients and controls. To bring experimental data in context with the ...