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

Siphon and trap generation in an incremental design process based on Petri nets

Feng Chu, +1 more
TL;DR: This paper addresses the generation of basis siphons and traps of Petri net models obtained using an incremental modelling approach to provide an efficient tool for detecting deadlocks along the modelling process and to detect design errors as soon as possible.
Journal ArticleDOI

Simultaneously Updating Multiple Performance Measures of Manufacturing Systems after Scheduling Perturbations

Golshan Madraki, +1 more
- 01 Jan 2022 - 
TL;DR: In this article , the authors simultaneously update multiple performance measures of manufacturing systems after several scheduling perturbations through a single pass without calculating from scratch, using Max-Plus algebra and system matrix to calculate changes propagated from initially perturbed operations to their affected successors.
Proceedings ArticleDOI

A Class of Petri Nets for Modular and Hierarchical System Modeling

Zhijian Wang, +1 more
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 Sub Net and the corresponding transition, mean while fewer preconditions are required for the Engineering Subnet compared with previous researches.
Journal ArticleDOI

Minimizing Cycle Time Of Job Scheduling Using Petri Nets a Study of Heuristic Methods

Bassam Alqassar, +3 more
- 01 Apr 2001 - 
TL;DR: A study of minimizing the maximum completion time min Fmax, or cycle time of the last job of a given family of jobs using flow shop heuristic scheduling techniques.
Book ChapterDOI

Performance Evaluation of Flexible Manufacturing Systems with Timed Process Algebra

M.C. Ruiz, +3 more
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.