High Level Petri Nets Based Approach for Analysing Conceptual Objects for Production Systems Simulation - Université Savoie Mont Blanc Access content directly
Conference Papers Year : 2006

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.

Domains

Automatic
Fichier principal
Vignette du fichier
incom06_Tamani.pdf (97.72 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00403820 , version 1 (28-09-2011)

Identifiers

  • HAL Id : hal-00403820 , version 1

Cite

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. ⟨hal-00403820⟩
187 View
257 Download

Share

Gmail Facebook X LinkedIn More