Formal Methods in Manufacturing

3	Modelling Manufacturing Systems and Inventory Control Systems with Hybrid Petri Nets Maria Paola Cabasino, Alessandro Giua and Carla Seatzu

CONTENTS

3.1 Introduction

3.2 Hybrid Petri Nets

3.2.1 Continuous and Hybrid Petri Nets

3.2.2 Fluid Stochastic Petri Nets

3.2.3 Batches Petri Nets

3.2.4 DAE–Petri Nets

3.2.5 Hybrid Flow Nets

3.2.6 FOHPNs

3.2.7 Differential Petri Nets

3.2.8 High-Level Hybrid Petri Nets

3.3 First-Order Hybrid Petri Nets

3.3.1 Net Structure

3.3.2 Marking and Enabling

3.3.3 Net Dynamics

3.3.3.1 Discrete Transitions Dynamics

3.3.3.2 Continuous Transitions Dynamics

3.3.4 Admissible IFS Vectors

3.3.5 Main Differences between the FOHPN Model and the HPN of David and Alla

3.4 Modelling Manufacturing Systems with FOHPN

3.4.1 Buffer ...