Consistency algorithm based on Petri net for concurrent design

摘要

Concurrent Design is a different methodology from the traditional serial design process. It considers more downstream development phases in the early period, which causes much more constraints need to be satisfied during the early design. This paper presents a consistency algorithm based on Petri net to solve the complex constraints in concurrent design. It provides the modeling methodology of current constraints with Petri Net, then proves the consistency algorithm of solving conflicts caused by inconsistent constraints. At last, an actual case is given to demonstrate the feasibility of using the consistency algorithm to solve conflicts.