Life-Cycle Inheritance: A Petri-Net-Based Approach

The full version is not available, because the report is superseded by the following publications:
  1. T. Basten and W.M.P. van der Aalst. Inheritance of Behavior. Journal of Logic and Algebraic Programming, 47(2):47-145, March/April 2001. (abstract / postscript / pdf)

  2. W.M.P. van der Aalst and T. Basten. Life-Cycle Inheritance: A Petri-Net-Based Approach. In P. Azéma and G. Balbo, editors, Application and Theory of Petri Nets 1997, 18th. International Conference, ICATPN'97, Proceedings, pages 62-81. Toulouse, France, June 1997. Lecture Notes in Computer Science 1248. Springer, Berlin, Germany, 1997. (abstract / postscript / pdf)

Back to the list of Technical Reports.