For the most recent entries see the Petri Nets Newsletter.

Specification and modeling of flexible manufacturing systems using behaviors and Petri nets building blocks.

Basile, F.; Chiacchio, P.; Vittorini, V.; Mazzocca, N.

In: Proc. Int. Symp. on Software Engineering for Parallel and Distributed Systems, 17-18 May 1999, Los Angeles, CA, pages 110-123. 1999.

Abstract: This paper deals with the definition of a general approach to the modeling and the analysis of Flexible Manufacturing Systems (FMSs). It puts together a trace-based formal specification method and a compositional Petri Nets (PN) approach with predefined building blocks, leading to a unified framework whose goals are to cope with the complexity of the FMSs behaviors and constraints, and provide a practical engineering means to translate behaviors into PN libraries. The P-invariants of the resulting model are used to obtain a reduced net of the system which points out the resources availability rather than the behaviors of the system components.

Keywords: Petri nets, flexible manufacturing systems.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography