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

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