A Temporal Logic Inference for Collaborative Product Design Process Based on Time Constraint Petri Nets

A collaborative product design process model and its time constraint relation model are built based on time constraint Petri net(TCPN) to solve fuzzy time inference problem with characteristic of dynamics,concurrency and uncertainty.The time constraint types of collaborative design process are analyzed.Time constraint fire rules and inference mechanism as well as time computing relation in different fire rules are proposed in this paper.A temporal inference simulation system of collaborative design process based on TCPN is designed.The corresponding conclusion is validated by an instance of the collaborative design process of a chain-transported machine.