Formal Methods in Manufacturing

1	Modelling Manufacturing Systems with Place/Transition Nets and Timed Petri Nets Maria Paola Cabasino, Mariagrazia Dotoli and Carla Seatzu

CONTENTS

1.1 Introduction

1.2 Background on Place/Transition Nets

1.2.1 Petri Net Structure

1.2.2 Marking and State Equation

1.2.3 Language and Reachability Set

1.2.4 Some Behavioural Properties: Reversibility, Liveness and Deadlock.

1.2.4.1 Reversibility

1.2.4.2 Liveness and Deadlock

1.3 Place/Transition Nets in Manufacturing

1.3.1 Basic Models in Manufacturing

1.3.2 More Complex Example of a Manufacturing System

1.3.3 Related Literature

1.4 Timed Petri Nets

1.4.1 Deterministic Timed Petri Nets

1.4.2 Timed Marked Graphs

1.4.3 Stochastic Timed Petri Nets

1.4.4 Related Literature

1.5 High-Level Petri Net ...