![]() This paper provides a detailed way of the Petri net behavior modeling so that any designers can generate a standard behavior model which works in the framework as successfully and easily as possible. It is necessary to make this behavior modeling easier for designers. In addition, it is difficult for unpracticed designers to represent behavior of the design plan as a Petri net, since, in general, designers are not familiar with Petri nets. It is desirable to reduce the degree of this dependence as much as possible. The resultant model varies depending on the designers even if he/she has perceived the behavior itself the same, and verification result may be inaccurate/inadequate if the model is inappropriate. In the Petri net behavior modeling, detailed ways have not been discussed and the modeling is fully dependent on the designer. Although fundamental feasibility of this framework was illustrated, there are issues to be discussed further for application to actual product design. They are then integrated as an augmented Petri net, and analyses for verification are performed by qualitative simulation on the integrated model. In this framework, functions, behavior and physical phenomena caused by a way of usage are modeled by function decomposition tree, Petri net, and cause-and-effect graph, respectively. From this point of view, a framework for such individual functional verification that can be applied to the conceptual design phase was proposed. ![]() In particular, for shortening development time, it is desired to perform functional verification and necessary modification of the design plan in the conceptual design phase. Recent industrial globalization has increased importance of functional verification in product design considering various ways of usage.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |