Paper Info
Title
Deciding life-cycle inheritance on Petri nets
Abstract
One of the key issues of object-oriented modeling is inheritance. It allows for the definition of a subclass that inherits features from some super- class. When considering the dynamic behavior of objects, as captured by their life cycles, there is no general agreement on the meaning of inheritance. Basten and Van der Aalst introduced the notion of life-cycle inheritance for this pur- pose. Unfortunately, the search tree needed for deciding life-cycle inheritance is in general prohibitively large. This paper presents a backtracking algorithm to decide life-cycle inheritance on Petri nets . The algorithm uses structural proper- ties of both the base life cycle and the potential sub life cycle to prune the search tree. Test cases show that the results are promising.
Year
DOI
Venue
2003
10.1007/3-540-44919-1_7
Application and Theory of Petri Nets
Keywords
DocType
Volume
backtracking algorithm,general agreement,petri net,base life cycle,life cycle,search tree,dynamic behavior,van der aalst,potential sub life cycle,life-cycle inheritance
Conference
2679
ISSN
ISBN
Citations 
0302-9743
3-540-40334-5
10
PageRank 
References 
Authors
1.03
11
2
Name
Order
Citations
PageRank
H. M. W. Verbeek1118669.84
T. Basten255134.98