K. Hassine - Academia.edu (original) (raw)

Papers by K. Hassine

Research paper thumbnail of Thermal Properties Of Sediments From Middle Valley

Journal of Minerals and Materials Characterization and Engineering, 2005

A neural network model was used to treat thermal conductivity data obtained from Middle Valley. T... more A neural network model was used to treat thermal conductivity data obtained from Middle Valley. This technique was able to separate the effects of different parameters such as porosity, grain density, bulk density and water content on the thermal conductivity. Predicted curves showed good agreement with the experimental results.

Research paper thumbnail of Modeling Migration of Mobile Agents

Lecture Notes in Business Information Processing, 2013

ABSTRACT In Modeling Multi agent systems (MAS), the mobility of agent is a basic issue to express... more ABSTRACT In Modeling Multi agent systems (MAS), the mobility of agent is a basic issue to express interactions of flow actions, consequently, modelling migration process is a crucial issue. In this paper, we integrate the Ferber and Müller?s Influence/Reaction model in Agent Petri Nets (APN) to model migration mobile agents. This model clarifies the migration process of agent from an environment to another and enhances its capacity for formal verification.

Research paper thumbnail of A New Formalism for Modeling a Multi Agent Systems: Agent Petri Nets

Journal of Software Engineering and Applications, 2010

In this paper, we present a new formalism for Modeling Multi Agent Systems (MAS). Our model based... more In this paper, we present a new formalism for Modeling Multi Agent Systems (MAS). Our model based a PN is able to describe not only not the internal state of each agent modeled but also its behavior. Owing to these features, one can model naturally the dynamic behavior of complex systems and the communication between these entities. For this, we propose mathematical definitions attached to firing transitions. To validate our contribution, we will deal with real examples.

Research paper thumbnail of Toward a New Model of the Petri Nets: Agent Petri Nets

2010 Fourth UKSim European Symposium on Computer Modeling and Simulation, 2010

This paper belongs to the domain of the engineering of the Petri Net (PN) and Multi agent Systems... more This paper belongs to the domain of the engineering of the Petri Net (PN) and Multi agent Systems (MAS). It aims to defining a new formalism for the modeling of MAS. This formalism is based on agents called Agent Petri Nets (APN). That's why, the definitions that manipulate the internal state of the agent and its behavior are proposed. Indeed,

Research paper thumbnail of Method for Verification of a Multi Agents System

2011 Second International Conference on Intelligent Systems, Modelling and Simulation, 2011

... Khaled Hassine Faculty of science, Gabès Erriadh City, Zrig 6072 Gabès TunisiaKhaled.hassine@... more ... Khaled Hassine Faculty of science, Gabès Erriadh City, Zrig 6072 Gabès TunisiaKhaled.hassine@gmail.com ... 95-104. [22] M. Bouali, “Contributions to the formal analysis and diagnosis using colored Petri nets with rear access”. ...

Research paper thumbnail of Modelling of loading and unloading system of a ship by a mullti-agents system

2013 International Conference on Computer Applications Technology (ICCAT), 2013

ABSTRACT The advent of containers has changed the world of shipping. In this sense, shipping has ... more ABSTRACT The advent of containers has changed the world of shipping. In this sense, shipping has been expanding during the last 30 years and it is expected that worldwide traffic of containers (134 millions in 2009) would reach 210 millions of containers by 2015. This article deals with the simulation of mobile ship while loading and unloading containers from a port of origin to a destination port after crossing other ports. We present a cooperation agents based solution in order to resolve this problem. Indeed our study extends from local migration process, in one single port, to cope with the process of migration between multiple ports. In this way, we minimize total running time of this process. Therefore, we implement a management system of shipping (MSS) in order to simulate the problem already mentioned.

Research paper thumbnail of Method for Verification of a Multi Agents System

2011 Second International Conference on Intelligent Systems, Modelling and Simulation, 2011

... Khaled Hassine Faculty of science, Gabès Erriadh City, Zrig 6072 Gabès TunisiaKhaled.hassine@... more ... Khaled Hassine Faculty of science, Gabès Erriadh City, Zrig 6072 Gabès TunisiaKhaled.hassine@gmail.com ... 95-104. [22] M. Bouali, “Contributions to the formal analysis and diagnosis using colored Petri nets with rear access”. ...

Research paper thumbnail of Toward a New Model of the Petri Nets: Agent Petri Nets

2010 Fourth UKSim European Symposium on Computer Modeling and Simulation, 2010

This paper belongs to the domain of the engineering of the Petri Net (PN) and Multi agent Systems... more This paper belongs to the domain of the engineering of the Petri Net (PN) and Multi agent Systems (MAS). It aims to defining a new formalism for the modeling of MAS. This formalism is based on agents called Agent Petri Nets (APN). That's why, the definitions that manipulate the internal state of the agent and its behavior are proposed. Indeed,

Research paper thumbnail of Modeling Migration of Mobile Agents

Lecture Notes in Business Information Processing, 2013

ABSTRACT In Modeling Multi agent systems (MAS), the mobility of agent is a basic issue to express... more ABSTRACT In Modeling Multi agent systems (MAS), the mobility of agent is a basic issue to express interactions of flow actions, consequently, modelling migration process is a crucial issue. In this paper, we integrate the Ferber and Müller?s Influence/Reaction model in Agent Petri Nets (APN) to model migration mobile agents. This model clarifies the migration process of agent from an environment to another and enhances its capacity for formal verification.

Research paper thumbnail of A New Formalism for Modeling a Multi Agent Systems: Agent Petri Nets

Journal of Software Engineering and Applications, 2010

In this paper, we present a new formalism for Modeling Multi Agent Systems (MAS). Our model based... more In this paper, we present a new formalism for Modeling Multi Agent Systems (MAS). Our model based a PN is able to describe not only not the internal state of each agent modeled but also its behavior. Owing to these features, one can model naturally the dynamic behavior of complex systems and the communication between these entities. For this, we propose mathematical definitions attached to firing transitions. To validate our contribution, we will deal with real examples.

Research paper thumbnail of Thermal Properties Of Sediments From Middle Valley

Journal of Minerals and Materials Characterization and Engineering, 2005

A neural network model was used to treat thermal conductivity data obtained from Middle Valley. T... more A neural network model was used to treat thermal conductivity data obtained from Middle Valley. This technique was able to separate the effects of different parameters such as porosity, grain density, bulk density and water content on the thermal conductivity. Predicted curves showed good agreement with the experimental results.

Research paper thumbnail of Modeling Migration of Mobile Agents

Lecture Notes in Business Information Processing, 2013

ABSTRACT In Modeling Multi agent systems (MAS), the mobility of agent is a basic issue to express... more ABSTRACT In Modeling Multi agent systems (MAS), the mobility of agent is a basic issue to express interactions of flow actions, consequently, modelling migration process is a crucial issue. In this paper, we integrate the Ferber and Müller?s Influence/Reaction model in Agent Petri Nets (APN) to model migration mobile agents. This model clarifies the migration process of agent from an environment to another and enhances its capacity for formal verification.

Research paper thumbnail of A New Formalism for Modeling a Multi Agent Systems: Agent Petri Nets

Journal of Software Engineering and Applications, 2010

In this paper, we present a new formalism for Modeling Multi Agent Systems (MAS). Our model based... more In this paper, we present a new formalism for Modeling Multi Agent Systems (MAS). Our model based a PN is able to describe not only not the internal state of each agent modeled but also its behavior. Owing to these features, one can model naturally the dynamic behavior of complex systems and the communication between these entities. For this, we propose mathematical definitions attached to firing transitions. To validate our contribution, we will deal with real examples.

Research paper thumbnail of Toward a New Model of the Petri Nets: Agent Petri Nets

2010 Fourth UKSim European Symposium on Computer Modeling and Simulation, 2010

This paper belongs to the domain of the engineering of the Petri Net (PN) and Multi agent Systems... more This paper belongs to the domain of the engineering of the Petri Net (PN) and Multi agent Systems (MAS). It aims to defining a new formalism for the modeling of MAS. This formalism is based on agents called Agent Petri Nets (APN). That's why, the definitions that manipulate the internal state of the agent and its behavior are proposed. Indeed,

Research paper thumbnail of Method for Verification of a Multi Agents System

2011 Second International Conference on Intelligent Systems, Modelling and Simulation, 2011

... Khaled Hassine Faculty of science, Gabès Erriadh City, Zrig 6072 Gabès TunisiaKhaled.hassine@... more ... Khaled Hassine Faculty of science, Gabès Erriadh City, Zrig 6072 Gabès TunisiaKhaled.hassine@gmail.com ... 95-104. [22] M. Bouali, “Contributions to the formal analysis and diagnosis using colored Petri nets with rear access”. ...

Research paper thumbnail of Modelling of loading and unloading system of a ship by a mullti-agents system

2013 International Conference on Computer Applications Technology (ICCAT), 2013

ABSTRACT The advent of containers has changed the world of shipping. In this sense, shipping has ... more ABSTRACT The advent of containers has changed the world of shipping. In this sense, shipping has been expanding during the last 30 years and it is expected that worldwide traffic of containers (134 millions in 2009) would reach 210 millions of containers by 2015. This article deals with the simulation of mobile ship while loading and unloading containers from a port of origin to a destination port after crossing other ports. We present a cooperation agents based solution in order to resolve this problem. Indeed our study extends from local migration process, in one single port, to cope with the process of migration between multiple ports. In this way, we minimize total running time of this process. Therefore, we implement a management system of shipping (MSS) in order to simulate the problem already mentioned.

Research paper thumbnail of Method for Verification of a Multi Agents System

2011 Second International Conference on Intelligent Systems, Modelling and Simulation, 2011

... Khaled Hassine Faculty of science, Gabès Erriadh City, Zrig 6072 Gabès TunisiaKhaled.hassine@... more ... Khaled Hassine Faculty of science, Gabès Erriadh City, Zrig 6072 Gabès TunisiaKhaled.hassine@gmail.com ... 95-104. [22] M. Bouali, “Contributions to the formal analysis and diagnosis using colored Petri nets with rear access”. ...

Research paper thumbnail of Toward a New Model of the Petri Nets: Agent Petri Nets

2010 Fourth UKSim European Symposium on Computer Modeling and Simulation, 2010

This paper belongs to the domain of the engineering of the Petri Net (PN) and Multi agent Systems... more This paper belongs to the domain of the engineering of the Petri Net (PN) and Multi agent Systems (MAS). It aims to defining a new formalism for the modeling of MAS. This formalism is based on agents called Agent Petri Nets (APN). That's why, the definitions that manipulate the internal state of the agent and its behavior are proposed. Indeed,

Research paper thumbnail of Modeling Migration of Mobile Agents

Lecture Notes in Business Information Processing, 2013

ABSTRACT In Modeling Multi agent systems (MAS), the mobility of agent is a basic issue to express... more ABSTRACT In Modeling Multi agent systems (MAS), the mobility of agent is a basic issue to express interactions of flow actions, consequently, modelling migration process is a crucial issue. In this paper, we integrate the Ferber and Müller?s Influence/Reaction model in Agent Petri Nets (APN) to model migration mobile agents. This model clarifies the migration process of agent from an environment to another and enhances its capacity for formal verification.

Research paper thumbnail of A New Formalism for Modeling a Multi Agent Systems: Agent Petri Nets

Journal of Software Engineering and Applications, 2010

In this paper, we present a new formalism for Modeling Multi Agent Systems (MAS). Our model based... more In this paper, we present a new formalism for Modeling Multi Agent Systems (MAS). Our model based a PN is able to describe not only not the internal state of each agent modeled but also its behavior. Owing to these features, one can model naturally the dynamic behavior of complex systems and the communication between these entities. For this, we propose mathematical definitions attached to firing transitions. To validate our contribution, we will deal with real examples.