## Applications of petri nets in manufacturing systems: modeling, control, and performance analysis |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

MODELING AND CONTROL ISSUES | 1 |

PETRI NET THEORY IN MANUFACTURING | 55 |

FORMAL DEFINITIONS CLASSIFICATION | 80 |

Copyright | |

4 other sections not shown

### Common terms and phrases

action place algorithm automated manufacturing systems block boundedness buffer chapter closed-form expression command concurrent conflict Conveyor coverability tree deadlock Definition directed circuit enabled transitions equivalent Markov chain example exponentially distributed fact FIFO Figure finished finite finite-state machines firing sequence Fixture Setup flexible assembly cell flexible manufacturing system free-choice GRAFCET GSPN model IEEE IEEE Trans immediate transitions incidence matrix initial marking mo input place invariants lemma Little's Law live and bounded machining workstation marked graph minimal node nonnegative integers number of tokens obtain operation output place output transitions P-invariants pallet part-type performance analysis Petri net controller Petri net model places and transitions prob problem queue queueing theory random variable reachability tree repair represent resource place reversible self-loops shown in Fig solution steady-state probabilities stochastic Petri nets storage subnet theorem throughput transition firing unreliable machine vector workcell zero