Formal Methods in Manufacturing

9	Supervisory Control of Manufacturing Systems Using Petri Nets* Carla Seatzu and Xiaolan Xie

CONTENTS

9.1 Introduction

9.2 Preliminaries

9.2.1 Supervisory Control Problem

9.2.2 Controlled Behaviour Computation

9.3 Pn Controller Design Problem

9.3.1 Desired Controlled Behaviour

9.3.2 PN Controller Design Problem

9.4 Generalized Mutual Exclusion Constraints And Monitor Places

9.4.1 Uncontrollable Transitions

9.4.2 Unobservable Transitions

9.4.3 Equality Constraints

9.5 Computation Of Control Places

9.5.1 New Interpretation of the Theory of Regions

9.5.2 Controller Synthesis with Pure Control Places

9.5.3 Impure Control Places

9.5.4 Practical Applications

9.6 Geometric Characterization of Control Place Existence

9.7 Essentially Safe Pns

9.7.1 Definitions ...