A use case driven approach to synthesis and analysis of flexible manufacturing systems

Author

Lu, Yiqin ; Wei, Gang ; Cheung, To-yat

Author_Institution

Dept. of Electron. Eng., South China Univ. of Technol., Guangzhou, China

Volume

4

fYear

2001

fDate

2001

Firstpage

2445

Abstract

Proposes an approach to the synthesis and analysis of a FMS with a place/transition net. In this approach, a use case is represented as a firing sequence and is used to construct a net representing each working entity (e.g. a manufacturing machine) or the whole system, while invariance-preserving transformations are used to ensure place and transition invariants are preserved during synthesis and simplification. A detailed example is used for illustration

Keywords

Petri nets; flexible manufacturing systems; graph colouring; temporal logic; FMS; Petri nets; composition; decomposition; elimination; firing sequence; flexible manufacturing systems; functional abstraction; insertion; invariant-preserving transformations; place/transition nets; replacement; use case driven approach; working entities; Automatic control; Computer aided software engineering; Computer science; Control systems; Flexible manufacturing systems; Logic; Object oriented modeling; Petri nets; Production systems; Workstations;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man, and Cybernetics, 2001 IEEE International Conference on

Conference_Location

Tucson, AZ

ISSN

1062-922X

Print_ISBN

0-7803-7087-2

Type

conf

DOI

10.1109/ICSMC.2001.972924

Filename

972924