Patent Document ID: 20090172013
Application ID: 11968342
Patent Flag: 0

Claim One:
1. A method for unfolding on a processing system an input net model of a system, which includes place objects, transition objects, arcs between place objects and transition objects, and initial markings, the method comprising: selecting two or more candidate buffer place interfaces from the input net model; subdividing the input net model with a preliminary cut to form two subnets, wherein the preliminary cut passes through suitable candidate buffer place interfaces, objects of each of the subnets other than the suitable candidate buffer place interfaces are reachable from at least one initial marking, and the subnets do not include a mix of initial and non-initial marking places; unfolding each of the two subnets to form two unfolded subnets; joining the two unfolded subnets to form an unfolded net that is behaviorally equivalent to the input net model; and storing the unfolded net in a storage unit of the processing system.