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
Proceedings ArticleDOI

Hybrid Petri nets of scheduling and supervisory control integrated system in process industry

Yali Wu, +2 more
TL;DR: In this paper, a hierarchical extended hybrid Petri nets model is proposed to model scheduling and supervisory control integrated system in process industry, where the enabled condition and evolution rule are described in detail.
Proceedings ArticleDOI

Process Algebra Specification of Flexible Manufacturing Systems

M.C. Ruiz, +3 more
TL;DR: This work presents a language that is able to specify nearly any type of real FMS, and is the first attempt to do this with process algebras, and thinks that it is a good way, mainly, because the specifications obtained suit the real systems quite well and are straightforward.
Journal ArticleDOI

Aplicação da modelagem por redes de Petri para avaliação ocupacional de trabalhadores

Jonas Lied, +1 more
- 19 Jul 2009 - 
TL;DR: The authors introduce a modelagem by Redes de Petri coloridas (RPC) como ferramenta for avaliacao dos riscos ocupacionais de trabalhadores in uma linha de manufatura.

Aplicação da modelagem por redes de petri para avaliação ocupacional de trabalhadores application of petri nets modelling for workmanship ocupational assessment

Jonas Lied, +1 more
TL;DR: In this paper, the use of the tool is based on modeling the manufacturing line by CPN, running the model in a computer, loading it with the initial process situation, with the obtained results, proceed the evaluation of the workload for individual workers checking which tasks should be studied to reducing the involved occupational risks.
Dissertation

Limitación de recursos en paralelismo real

Ruiz Delgado, +1 more
TL;DR: In this paper, a tesis doctoral objeto de this informe se enmarca dentro de la utilizacion de metodos formales en el estudio de the sistemas concurrentes.
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.