scispace - formally typeset
Open AccessJournal ArticleDOI

A class of Petri nets for manufacturing system integration

Jean-Marie Proth, +2 more
- Vol. 13, Iss: 3, pp 317-326
Reads0
Chats0
TLDR
A class of Petri nets which are reversible, live, and can be kept bounded, which is expected to shed light on the design, management and control of large scale manufacturing systems since modular approach is a way to cope with complexity.
Abstract: 
This paper introduces a class of Petri nets which are reversible, live, and can be kept bounded. Furthermore, these Petri nets have output transitions that can be fired independently from each other. These properties are required when modeling manufacturing systems. Another important property is that the integration of models which belong to this class of Petri nets still belongs to the same class, assuming that the integration is performed following rules which reflect common manufacturing practice. As a result, the qualitative properties of the module models are preserved. The results obtained in this paper are expected to shed light on the design, management and control of large scale manufacturing systems since modular approach is a way to cope with complexity.

read more

Content maybe subject to copyright    Report

HAL Id: inria-00074617
https://hal.inria.fr/inria-00074617
Submitted on 24 May 2006
HAL is a multi-disciplinary open access
archive for the deposit and dissemination of sci-
entic research documents, whether they are pub-
lished or not. The documents may come from
teaching and research institutions in France or
abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est
destinée au dépôt et à la diusion de documents
scientiques de niveau recherche, publiés ou non,
émanant des établissements d’enseignement et de
recherche français ou étrangers, des laboratoires
publics ou privés.
A class of Petri nets for manufacturing system
integration
Jean-Marie Proth, Liming Wang, Xiaolan Xie
To cite this version:
Jean-Marie Proth, Liming Wang, Xiaolan Xie. A class of Petri nets for manufacturing system inte-
gration. [Research Report] RR-2055, INRIA. 1993, pp.28. �inria-00074617�
Citations
More filters
Dissertation

Contribution à l'ingénierie des systèmes de production de soins dans les pays en voie de développement : vers un système sans murs en Haïti

Norly Germain
TL;DR: Gourgand et al. as mentioned in this paper presented a methodologie ASCI (Analyse, Specification, Conception, Implementation, Implementation), which was used in the implementation of a hospitalier in Haiti.
Dissertation

Modélisation, analyse et pilotage de flux en milieu hospitalier à l'aide d'UML et des réseaux de Petri

Vincent Augusto
TL;DR: In this article, the authors propose a plate-forme medPRO (medical Process-Resource-Organisation) for modeling and simulation of hospitaliers, which is based on UML (Unified Modelling Language).
Journal ArticleDOI

An Incremental Petri Net-Based Approach to the Modeling of Production Sequences in Manufacturing Systems

A. Castelnuovo, +2 more
- 02 Jul 2007 - 
TL;DR: A Petri net-based methodology for the modeling of production sequences conceived as an incremental process, which progressively adds subnets to a partial model until all specifications have been included, preventing possible design mistakes from leading to deadlocks.
Journal ArticleDOI

Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks

Francesco Basile, +3 more
- 01 Jun 2004 - 
TL;DR: The paper puts together a trace-based formal specification method and a compositional Petri nets approach with predefined building blocks, leading to a unified framework whose goal is to cope with the complexity of the FMSs behaviors and constraints.
Journal ArticleDOI

Modeling Complex System Using T-subnet based Hierarchical Petri Nets

Zhijian Wang, +1 more
- 09 Jan 2009 - 
TL;DR: Because of live loopbacks owned by Engineering Subnets, the same interface and service as the original module are reserved after the transformation between an Engineering Subnet and the corresponding transition, mean while fewer preconditions are required for the Engineering Sub Net compared with current researches.
References
More filters
Journal ArticleDOI

Petri nets: Properties, analysis and applications

Tadao Murata
TL;DR: The author proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis, and one section is devoted to marked graphs, the concurrent system model most amenable to analysis.
Journal ArticleDOI

Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows

Zbigniew Banaszak, +1 more
TL;DR: The authors develop a Petri net model of concurrent job flow and dynamic resource allocation in an FMS and define deadlock in terms of transition enabling in the PN model to prove that restricted deadlock can never occur for any resource allocation policy implemented under the DAA restriction policy.
Journal ArticleDOI

A hybrid methodology for synthesis of Petri net models for manufacturing systems

MengChu Zhou, +2 more
TL;DR: Petri nets are synthesized by first refining operation places through basic design modules in top-down modular ways, then adding nonshared resource places stepwise, and finally adding shared resources places step by step in a bottom-up manner.
Book

Graphes et algorithmes

Michel Gondran, +1 more
TL;DR: Les algorithmes approches / Annexes :Programmation lineaire - Programmation LINEAIR en nombres entiers - Relaxation lagrangienne et resolution du probleme dual - Programme dynamique - Les problemes de ratio m minimumm as discussed by the authors.
Book

Practice of Petri Nets in Manufacturing

Simon Peck
TL;DR: This work introduces Petri nets, a model for manufacturing information systems, and some net subclasses and their analysis, as well as hybrid synthesis: combining top-down and bottom-up methods.
Related Papers (5)

Petri nets: Properties, analysis and applications

Tadao Murata

Automatic synthesis of colored Petri nets for the control of FMS

Joaquín Ezpeleta, +1 more

Scheduling flexible manufacturing systems using Petri nets and heuristic search

Doo Yong Lee, +1 more

A method for stepwise refinement and abstraction of Petri nets

Ichiro Suzuki, +1 more
- 01 Aug 1983 - 

Modular transformation methods for generalized Petri nets and their application to automated manufacturing systems

I. Koh, +1 more
Frequently Asked Questions (1)
Q1. What contributions have the authors mentioned in the paper "A class of petri nets for manufacturing system integration" ?

HAL this paper is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not.