| Summary: | 碩士 === 國立交通大學 === 資訊科學與工程研究所 === 97 === Colored petri nets (CPNs) is a kind of model which can be used to analyze many kinds of systems. Object oriented (OO) techniques, including analysis, design and programming, are popular for years. Object oriented modular petri nets (OOMPNets), proposed by our laboratory, is a model extended from CPNs by integrating object concept into CPNs. Our laboratory is now developing the development environment which consists of a series of tools to help simplify the development of OOMPNets. This thesis implements part of the environment, including an editor named OOMPNE and a transformation tool. OOMPNE is used for constructing OOMPNets. OOMPNE provides some checks to reduce the abnormal phenomena occurring in the modeling OOMPNet. The analysis is done by transferring the modeled OOMPNets into CPNs and calling the existing analysis methods of based on occurrence graph in CPNs. We also discuss the techniques to locate the defect(s) and corresponding object/place(s) in original OOMPNets, corresponding to the defects found in above analysis.
|
|---|
