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

Continuous approach of scheduling problems based on Petri nets

Jean-Marie Proth, +1 more
TL;DR: This paper shows that a manufacturing system can be modelled using a particular type of Petri nets, called controllable-output nets (CO nets), which are then used to introduce a two-stage scheduling algorithm for large horizon problems.
Journal ArticleDOI

Petri Nets based Production System Model Simplification

Zhijian Wang, +2 more
- 09 Apr 2012 - 
TL;DR: The method presented in this paper helps to simplify system model and decrease system state space, and thus makes it feasible to use Petri nets in complex systems.
Proceedings ArticleDOI

FMS scheduling based on Petri net model

Youngwoo Kim, +3 more
TL;DR: In this article, a reactive fast search algorithm was proposed for a manufacturing system based on a timed Petri net model and an RTA* and a rule-based supervisor to minimize the maximum completion time.
Journal ArticleDOI

Model Transform Based on a Kind of Transition Subnet

Zhijian Wang, +2 more
- 06 Jan 2010 - 
TL;DR: The research shows that, under certain preconditions, important prosperities are reserved in subnet abstraction transformations; when a transition is refined using an engineering subnet, prosperities including boundedness, safety, deadlock free and reversibility keeps reserved, but safety is not certainly to be effective any longer.

Towards a methodology for integrated freeform manufacturing systems development with a control systems emphasis

Jacquelyn K. Stroble
TL;DR: In this article, an automated control system framework for a hybrid laser metal deposition system consisting of five phases is presented, which involves the integration of software with a real-time controller, sensors and actuators.
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.