With the modeling technology of Petri nets-based, task logics are described in products collaborative design. With boundedness, the coverability tree algorithm of Petri net is designed. On this basis, corresponding Markov chain is constructed; the algorithm of analysis performance of stochastic Petri net is provided. Through the case, the utilization ratio of resources and design efficiency in this design model are analyzed, and the validity of the algorithm verified.
展开▼