| Summary: | 碩士 === 國立海洋大學 === 電機工程學系 === 88 === Computer Integrated Manufacturing is a trend to improve the automation scale of manufacturing systems today. To develop such system models that are usually very large and complex, it is indeed necessary to find an efficient and fast way to solve this problem.
In the past, many researches on manufacturing system modeling were proposed and the object oriented high level Petri nets is one of the most important results. Their definitions are not so intuitive and the analysis methods of high level Petri nets are not as powerful as the ordinary one. To combine the advantages of object-oriented techniques and the simplicity of ordinary Petri nets, an object-encapsulated synthesis approach and a synthesizer with simulate and analysis function is proposed. Through this approach, we encapsulate ordinary Petri nets into the class diagrams and use our synthesizer to convert them automatically. Through this tool, the objects can be converted to the needed parts of Petri nets automatically. Hence, model designers can just concern the behaviors of the models through the class diagram. On the other hand, by the CORBA approach, The synthesizer has the ability to build and analyze a model under a distributed environment.
|
|---|
