scispace - formally typeset
Search or ask a question
Journal Article•DOI•

A class of Petri nets for manufacturing system integration

Jean-Marie Proth, Liming Wang1, Xiaolan Xie2•
University of Manitoba1, French Institute for Research in Computer Science and Automation2
01 Jun 1997-Vol. 13, Iss: 3, pp 317-326
TL;DR: 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.

Summary (1 min read)

Jump to:  and [Summary]

Summary

  • HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not.
  • The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

Did you find this useful? Give us your feedback

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 Article•DOI•
A use case driven approach to synthesis and analysis of flexible manufacturing systems

[...]

Yiqin Lu1, Gang Wei, To-Yat Cheung•
South China University of Technology1
07 Oct 2001
TL;DR: In this approach, a use case is represented as a firing sequence and is used to construct a net representing each working entity and invariance-preserving transformations are used to ensure place and transition invariants are preserved during synthesis and simplification.
Abstract: Proposes an approach to the synthesis and analysis of a FMS with a place/transition net. In this approach, a use case is represented as a firing sequence and is used to construct a net representing each working entity (e.g. a manufacturing machine) or the whole system, while invariance-preserving transformations are used to ensure place and transition invariants are preserved during synthesis and simplification. A detailed example is used for illustration.

1 citations

Proceedings Article•DOI•
A class of Petri nets for modular modeling

[...]

Xiaolan Xie1•
Metz1
21 May 1995
TL;DR: A class of Petri nets called extended controllable-output nets (ECO nets) are introduced that are consistent, live and reversible and it is shown that the integration of such Petrinets preserves these properties under some fairly weak conditions.
Abstract: This paper addresses the issue of integration in modeling large-scale systems using Petri nets based modular modeling approaches. We introduce a class of Petri nets called extended controllable-output nets (ECO nets). These nets are consistent, live and reversible. We show that the integration of such Petri nets preserves these properties under some fairly weak conditions. Furthermore, the integrated model is itself an ECO net.

1 citations

Journal Article•DOI•
Towards a Modeling Methodology of Manufacturing Systems

[...]

Myriam Noureddine1, Patrick Martineau2•
University of Science and Technology of Oran Mohamed-Boudiaf1, François Rabelais University2
01 Jul 2000-IFAC Proceedings Volumes
TL;DR: A modeling methodology of manufacturing systems validated by using Petri Nets, based on the notion of generic model of synchronization, is presented and the validity of its generic model is analyzed using the obtained Petri net.
Proceedings Article•DOI•
An incremental Petri net approach to production sequence modeling

[...]

A. Castelnuovo1, Luca Ferrarini1, Luigi Piroddi1•
Polytechnic University of Milan1
12 Sep 2005
TL;DR: A novel Petri net based methodology conceived as an incremental process, which progressively adds sub-nets to a partial model until all specifications have been included, allowing for greater flexibility and complexity in the design process.
Abstract: In logic control design, production sequences are typically expressed as a series of informal specifications to be translated into a formal model. The present paper introduces a novel Petri net based methodology conceived as an incremental process, which progressively adds sub-nets to a partial model until all specifications have been included. A formal verification of the model is performed at every stage, so that specifications which are incongruent with the current model and can jeopardize its correctness can be detected and rejected or modified. No modeling constraints are imposed to the design process, as is the case with classical methodologies, which are generally not well suited to represent behaviors characterized by complex alternative-parallel relationships between operations. An algorithm is provided for the automatic synthesis of complex connection structures in the model, allowing for greater flexibility and complexity in the design process.

Cites background from "A class of Petri nets for manufactu..."

  • ...Also worth mentioning are CO/ECO nets [10], though these models suffer from some important structural limitations (concurrency is strongly constrained), which allow for easier analysis but restrict their scope....

    [...]

Journal Article•DOI•
Application of Petri Nets to Group Scheduling in Flexible Manufacturing Systems

[...]

Khalid A. Kattan1, Bassam Alqassar1, Ibrahim A. Kattan1, Boleslaw Mikolajczak1•
University of Massachusetts Dartmouth1
01 Apr 2001-IFAC Proceedings Volumes
TL;DR: An approach that is heuristic in nature and achieves a sub-optimal schedule in two steps is discussed, designed to simulate the schedule of one family of the parts with a graphical user interface.
References
More filters
Journal Article•DOI•
Petri nets: Properties, analysis and applications

[...]

Tadao Murata1•
University of Illinois at Urbana–Champaign1
01 Apr 1989
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.
Abstract: Starts with a brief review of the history and the application areas considered in the literature. The author then proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis. In particular, one section is devoted to marked graphs, the concurrent system model most amenable to analysis. Introductory discussions on stochastic nets with their application to performance modeling, and on high-level nets with their application to logic programming, are provided. Also included are recent results on reachability criteria. Suggestions are provided for further reading on many subject areas of Petri nets. >

10,755 citations

"A class of Petri nets for manufactu..." refers result in this paper

  • ...The proof of this claim is totally parallel to that of theorem 16 in [ 12 ]....

    [...]

Journal Article•DOI•
Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows

[...]

Zbigniew Banaszak, Bruce H. Krogh1•
Carnegie Mellon University1
01 Dec 1990
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.
Abstract: The concurrent flow of multiple jobs through a FMS can lead to deadlock conditions due to competition for limited resources in the system. The authors develop a Petri net (PN) model of concurrent job flow and dynamic resource allocation in an FMS and define deadlock in terms of transition enabling in the PN model. The problem of deadlock avoidance is addressed by introducing the notion of a restriction policy, which is a feedback policy for excluding some enabled transitions from the current resource allocation alternatives. The authors then present their deadlock avoidance algorithm (DAA) and prove that restricted deadlock can never occur for any resource allocation policy implemented under the DAA restriction policy. The DAA can be implemented easily in real time and is much less restrictive for FMS applications than existing algorithms for deadlock avoidance in computer systems. Application of the DAA is illustrated for three FMS examples: allocation of finite buffer space in a multicell machining facility, collision avoidance in a multirobot assembly cell, and coordination of multiple AGVs on a shop floor. >

522 citations

"A class of Petri nets for manufactu..." refers methods in this paper

  • ...It is worth mentioning that Petri nets have been used as well in the deadlock avoidance control of manufacturing systems in [ 2 ]....

    [...]

Journal Article•DOI•
A hybrid methodology for synthesis of Petri net models for manufacturing systems

[...]

MengChu Zhou1, Frank DiCesare2, Alan A. Desrochers2•
New Jersey Institute of Technology1, Rensselaer Polytechnic Institute2
01 Jun 1992
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.
Abstract: Beginning with a bounded (safe), live, or reversible Petri net as a first-level net model for a system, 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 resource places step by step in a bottom-up manner. Refinement theory is extended to include reversibility of Petri nets. Parallel and sequential mutual exclusions are used to model shared resources. Design of the first-level Petri nets is discussed, and two basic kinds of Petri nets, choice-free and choice-synchronization, are given to cope with different types of manufacturing systems. The major advantages of the method are that the modeling details can be introduced in incremental ways such that complexity can be handled, and the important properties of the resulting Petri net are guaranteed so that costly mathematical analysis for boundedness, liveness, and reversibility can be avoided. A manufacturing system consisting of four machines, one assembly cell, two shared robots, and two buffers is used to illustrate the design methodology. >

425 citations

Book•
Graphes et algorithmes

[...]

Michel Gondran, Michel Minoux
01 Jan 1995
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.
Abstract: 1.Generalites sur les graphes / 2.Le probleme du plus court chemin / 3. Les algebres de chemins / 4.Arbres et arborescences / 5. Flots et reseaux de transport / 6.Flots avec multiplicateurs.multiflots / 7.Couplages et b-couplages / 8.Parcours euleriens et hamiltoniens / 9.Matroides / 10.Les problemes"non polynomiaux"/ 11.Les algorithmes d'enumeration par separation et evaluations / 12.Les algorithmes approches / Annexes :Programmation lineaire - Programmation lineaire en nombres entiers - Relaxation lagrangienne et resolution du probleme dual - Programmation dynamique - Les problemes de ratio m minimumm

347 citations

Book•
Practice of Petri Nets in Manufacturing

[...]

Simon Peck
30 Sep 1993
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.
Abstract: Introduction. 1: Introducing Petri nets M. Silva. Nets and net systems. On modelling features. On net systems interpretations. Approaching concurrency qualitative problems. Qualitative analysis of net system models. Some net subclasses and their analysis. Concluding remarks. 3: Principles of system modelling J.M. Proth. Manufacturing system modelling: basic concepts. Transportation system between two points on a shop-floor. Storage facilities. Operation modelling. Tool systems. Material-handling systems. Conclusion. 3: Synthesis for manufacturing systems integration F. DiCesare, Mu Der Jeng. Introduction to Synthesis. Bottom-up synthesis. Top-down methods. Hybrid synthesis: combining top-down and bottom-up. Summary. 4: Performance evaluation of manufacturing systems J.M. Proth. Introduction. Event graphs: definition and properties. Manufacturing systems working on a cyclic basis. The general case. 5: Petri nets for manufacturing information systems G. Harhalakis, F.B. Vernadat. Introduction. Basics of manufacturing information systems. High-level Petri nets. Organization analysis and conceptual database design. Modeling, analysis and implementation of company policies. Conclusions. Index.

337 citations

Related Papers (5)
Petri nets: Properties, analysis and applications

[...]

01 Apr 1989
Tadao Murata
Automatic synthesis of colored Petri nets for the control of FMS

[...]

01 Jun 1997
Joaquín Ezpeleta, José Manuel Colom
Scheduling flexible manufacturing systems using Petri nets and heuristic search

[...]

01 Apr 1994
Doo Yong Lee, Frank DiCesare
A method for stepwise refinement and abstraction of Petri nets

[...]

01 Aug 1983-Journal of Computer and System Sciences
Ichiro Suzuki, Tadao Murata
Modular transformation methods for generalized Petri nets and their application to automated manufacturing systems

[...]

01 Nov 1991
I. Koh, Frank DiCesare
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.