High Level Petri Nets Based Approach for Analysing Conceptual Objects for Production Systems Simulation
Overview & Synopsis
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.
Indexed from repository: HAL Open Science
(
hal.science)
Keyboard Shortcuts:
← / → for pages • + / - for zoom • 0 to fit width
Powered by Mozilla PDF.js v3.11
Document Information
| Document Title | High Level Petri Nets Based Approach for Analysing Conceptual Objects for Production Systems Simulation |
|---|---|
| Author / Organization | Karim Tamani, Reda Boukezzoula, Georges Habchi |
| Subject & Discipline | Multidisciplinary Academic Open Research |
| Categories | Science & Mathematics |
| Publication Year | 2006 |
| License / Rights | Open Access / Creative Commons |
| Resource Verification | Listed PDF (Verification Pending) |
| Original Host Website |
HAL Open Science
(hal.science)
|
| File Format | application/pdf (Portable Document Format) |
| Language | EN |
| Catalog ID | DOC-241358 |
| Original Source Link | Visit Source Page on hal.science » |