scispace - formally typeset
Open AccessBook

Petri Net Synthesis for Discrete Event Control of Manufacturing Systems

MengChu Zhou, +1 more
TLDR
This paper presents a meta-synthesis of Petri Nets using FMS as a guide for the construction of parallel Mutual Exclusions in response to the challenge of discrete event control of FMS.
Abstract: 
List of Figures List of Tables 1 Introduction 2 Petri Nets and Manufacturing Systems 3 Parallel Mutual Exclusions 4 Sequential Mutual Exclusion 5 Hybrid Synthesis of Petri Nets 6 Illustration of Hybrid Synthesis 7 Discrete Event Control of FMS 8 Augmentation of Petri Nets 9 Petri Nets: Past, Present and Future Appendix A Bibliography Index

read more

Content maybe subject to copyright    Report

Citations
More filters
Journal ArticleDOI

Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems

Zhiwu Li, +1 more
TL;DR: It is proved that by adding a control place for each elementary siphon to make sure that it is marked, deadlock can be successfully prevented and is suitable for large-scale Petri nets.
Journal ArticleDOI

Petri nets and industrial applications: A tutorial

R. Zurawski, +1 more
- 01 Dec 1994 - 
TL;DR: The fundamental concepts of Petri nets are introduced to researchers and practitioners, both from academia and industry, who are involved in the work in the areas of modelling and analysis of industrial types of systems, as well as those who may potentially be involved in these areas.
Journal ArticleDOI

Petri nets for modeling of dynamic systems—a survey

René David, +1 more
- 01 Feb 1994 - 
TL;DR: The aim of this paper is to present the basic concept relative to Petri nets and the various classes of derived models which can be used for dynamic system modeling.
Journal ArticleDOI

A Survey of Petri Net Methods for Controlled Discrete EventSystems

Lawrence E. Holloway, +2 more
- 01 Apr 1997 - 
TL;DR: An overview of the various models and problems formulated in the literature focusing on two particular models, the controlled Petri nets and the labeled nets, and two efficient techniques for the on-line computation of the control law.
Book

Supervisory Control of Discrete Event Systems Using Petri Nets

J.O. Moody, +1 more
TL;DR: Supervisory Control of Discrete Event Systems Using Petri Nets is intended for graduate students, advanced undergraduates, and practicing engineers who are interested in the control problems of manufacturing, communication and computer networks, chemical process plants, and other high level control applications.