High Level Petri Nets Based Approach for Analysing Conceptual Objects for Production Systems Simulation

Abstract : In the field of design and analysis of manufacturing systems, models are sometimes built with the help of analytical methods. However, the verification of these models is often addressed by simulation. To check the performance of a manufacturing system, formal methods of design are needed. In this work, the selected modelling and verification tool is a high level Petri net. Based on properties of the generic concept called the Production Processing System (PPS) and developed for modelling and simulation of production resources, this article deals with analysing the PPS by high-level Petri nets (HLPN) formalisms.
Type de document :
Communication dans un congrès
INCOM 2006, May 2006, Saint-Etienne, France. Vol. 1, pp. 361-366, 2006
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

http://hal.univ-smb.fr/hal-00403820
Contributeur : Georges Habchi <>
Soumis le : mercredi 28 septembre 2011 - 11:51:22
Dernière modification le : mercredi 17 janvier 2018 - 18:34:05
Document(s) archivé(s) le : vendredi 2 décembre 2016 - 13:17:28

Fichier

incom06_Tamani.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00403820, version 1

Collections

Citation

Karim Tamani, Reda Boukezzoula, Georges Habchi. High Level Petri Nets Based Approach for Analysing Conceptual Objects for Production Systems Simulation. INCOM 2006, May 2006, Saint-Etienne, France. Vol. 1, pp. 361-366, 2006. 〈hal-00403820〉

Partager

Métriques

Consultations de la notice

341

Téléchargements de fichiers

154