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
Book ChapterDOI

Overview of Modelling, Scheduling, Planning, and Control Using Petri Net Representation and AI Search

Shuang Cang, +1 more
TL;DR: This paper reviews the research work on Petri nets representations and the AI based search approaches and proposes new approaches to scheduling using PN and AI search and scheduling of flexible manufacturing systems using hybrid heuristic search.
Proceedings ArticleDOI

Specification and modeling of flexible manufacturing systems using behaviours and Petri nets building blocks

Basile, +3 more
TL;DR: A trace-based formal specification method and a compositional Petri nets approach with predefined building blocks are put together, leading to a unified framework whose goals are to cope with the complexity of the FMSs behaviours and constraints, and provide a practical engineering means to translate behaviours into PN libraries.
Proceedings ArticleDOI

Subnet Abstract and Transition Refinement in Petri Nets Model

Zhijian Wang, +1 more
TL;DR: Subnet abstraction and transition refinement base a kind of transition subnet – the engineering subnet, that shows that, under certain preconditions, important prosperities are reserved in such transformations.
Journal ArticleDOI

Design and implementation of a logic controller using petri nets and ladder logic diagrams

Spyros G. Tzafestas, +2 more
- 01 Jul 2000 - 
TL;DR: In this paper, a method for using Petri net models in order to design and implement a sequence controller for a small scale robotic cell which consists of a robotic manipulator, a variety of sensors and electro-pneumatic actuators is presented.
Journal ArticleDOI

Medição do inventário em processo e tempo de atravessamento em manufatura por modelagem em redes de Petri e diagrama de resultados

Tiago Facchin, +1 more
TL;DR: A metodo for a medicao de inventario em processo e tempo de atravessamento em a sistema de manufatura is presented in this article.
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.