ASSOCIATING DISCRETE PART MANUFACTURING SYSTEMS SEMANTICS TO SADT BY MEANS OF PETRI NETS

摘要

This paper presents an integrated methodology to support the specification and the design of Discrete Part Manufacturing Systems. This methodology uses SADT for high level system analysis and Petri nets for behavioural Modeling. A transparent mapping mechanism is used to associate Discrete Part Manufacturing Semantics to SADT by means of the underlying Petri net whose implementation and execution details are transparent to the end-user.