Hongfang Gong

Learn More
A predicate that appears in specification or code can implement a condition. In this paper, we propose a Predicate-Driven Petri Net(PDPN), which can be applied to analyze and test the behavior for the interaction between predicate operators and predicate individuals or variables or expressions. With the help of the behavior function, the dynamic properties(More)
  • 1