Patent ID: 8219364
Filing Date: 2012-07-10
Classification: G06F

Abstract:
1. A computer-implemented method for unfolding an input net model of a system to generate a behaviorally equivalent unfolded output net, wherein the input net model includes place objects, transition objects, arcs between place objects and transition objects, and initial markings, the method comprising: selecting two or more place objects from the input net model as candidate buffer place interfaces; subdividing the input net model with a preliminary cut to form two subnets, wherein the preliminary cut passes through a first set of candidate buffer place interfaces, such that objects of each of the subnets other than the first set of 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 the unfolded output net; and storing the unfolded net in a storage unit of a computer, wherein at least one of the subdividing, the unfolding, and the joining is performed by the computer.