Method to improve unfolding in Petri nets
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
Jul 10, 2012
Grant Date -
Jul 2, 2009
app pub date -
Jan 2, 2008
filing date -
Jan 2, 2008
priority date (Note) -
Expired
status (Latency Note)
Importance
Abstract
Petri net models, of systems, communication protocols, and software programs, which include place objects, transition objects, arcs, and initial markings, may be used for testing and verification. To reduce computations, a new unfolding process is performed on the net models. Two or more candidate buffer place interfaces are selected from the input net model. The input net is subdivided 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. Each of the two subnets are unfolded and then joined to form an unfolded net that is behaviorally equivalent to original input net model. The unfolded net is then stored in a storage unit.
First Claim
Family
International Classification(s)
Cited Art Landscape
Patent Citation Ranking
Recipient Email Address
Recipient Email Address
Comment
Recipient Email Address
Add to Portfolio(s)
To add this patent to one, or more, of your portfolios, simply click the add button.
This Patent is in these Portfolios:
Add to additional portfolios:
Last Refreshed On:
Changes done successfully