Skip to main content
SpringerLink
Log in
Book cover

International Conference on Application and Theory of Petri Nets

ICATPN 2003: Applications and Theory of Petri Nets 2003 pp 44–63Cite as

Deciding Life-Cycle Inheritance on Petri Nets

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2679))

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 purpose. 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 properties 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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. W.M.P. van der Aalst. Verification of Workflow Nets. In P. Azéma and G. Balbo, editors, Application and Theory of Petri Nets 1997, volume 1248 of Lecture Notes in Computer Science, pages 407–426, Toulouse, France, June 1997. Springer, Berlin, Germany, 1997.

    Google Scholar 

  2. W.M.P. van der Aalst. Chapter 10: Three good reasons for using a Petri-net-based workflow management system. In T. Wakayama, S. Kannapan, C.M. Khoong, S. Navathe, and J. Yates, editors, Information and Process Integration in Enterprises: Rethinking Documents, volume 428 of The Kluwer International Series in Engineering and Computer Science, pages 161–182. Kluwer Academic Publishers, Boston, Massachusetts, 1998.

    Google Scholar 

  3. W.M.P. van der Aalst. Inheritance of Dynamic Behaviour in UML. In D. Moldt, editor, MOCA’02, Second Workshop on Modelling of Objects, Components, and Agents, pages 105–120, Aarhus, Denmark, August 2002. University of Aarhus, Report DAIMI PB-561, 2002. http://www.daimi.au.dk/CPnets/workshop02/moca/papers/.

    Google Scholar 

  4. W.M.P. van der Aalst. Inheritance of Interorganizational Workflows to Enable Business-to-Business E-commerce. Electronic Commerce Research, 2(3):195–231, 2002.

    Article  MATH  Google Scholar 

  5. W.M.P. van der Aalst and T. Basten. Identifying Commonalities and Differences in Object Life Cycles using Behavioral Inheritance. In J.-M. Colom and M. Koutny, editors, Applications and Theory of Petri Nets 2001, volume 2075 of Lecture Notes in Computer Science, pages 32–52, Newcastle, UK, 2001. Springer, Berlin, Germany, 2001.

    Chapter  Google Scholar 

  6. W.M.P. van der Aalst and T. Basten. Inheritance of Workflows: An Approach to Tackling Problems Related to Change. Theoretical Computer Science, 270(1–2):125–203, 2002.

    Article  MATH  MathSciNet  Google Scholar 

  7. T. Basten. In Terms of Nets: System Design with Petri nets and Process Algebra. PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands, December 1998.

    MATH  Google Scholar 

  8. T. Basten and W.M.P. van der Aalst. Inheritance of Behavior. Journal of Logic and Algebraic Programming, 47(2):47–145, 2001.

    Article  MATH  MathSciNet  Google Scholar 

  9. G. Booch. Object-Oriented Analysis and Design: With Applications. Benjamin/Cunnings, Redwood City, California, USA, 1994.

    Google Scholar 

  10. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, Reading, Massachusetts, USA, 1998.

    Google Scholar 

  11. J.-M. Colom and M. Silva. Convex Geometry and Semiflows in P/T nets: A Comparative Study of Algorithms for Computation of Minimal P-semiflows. In G. Rozenberg, editor, Advances in Petri Nets 1990, volume 483 of Lecture Notes in Computer Science, pages 79–112. Springer, Berlin, Germany, 1990.

    Google Scholar 

  12. J. Desel and J. Esparza. Free Choice Petri Nets, volume 40 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, UK, 1995.

    MATH  Google Scholar 

  13. H.-E. Eriksson and M. Penker. Business Modeling with UML: Business Patterns at Work. John Wiley and Sons, New York, USA, January 2000.

    Google Scholar 

  14. R.J. van Glabbeek and W.P. Weijland. Branching Time and Abstraction in Bisimulation Semantics. Journal of the ACM, 43(3):555–600, 1996.

    Article  MathSciNet  Google Scholar 

  15. J.F. Groote and F.W. Vaandrager. An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence. In M.S. Paterson, editor, Automata, Languages and Programming, volume 443 of Lecture Notes in Computer Science, pages 626–638, Warwick University, England, July 1990. Springer, Berlin, Germany, 1990.

    Chapter  Google Scholar 

  16. I. Jacobson, M. Ericsson, and A. Jacobson. The Object Advantage: Business Process Reengineering with Object Technology. Addison-Wesley, Reading, Massachusetts, USA, 1991.

    Google Scholar 

  17. Object Management Group. OMG Unified Modeling Language. http://www.omg.com/uml/.

    Google Scholar 

  18. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, Englewoord Cliffs, New Jersey, USA, 1991.

    Google Scholar 

  19. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, Reading, Massachusetts, USA, 1998.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Eindhoven University of Technology, P.O. Box 513, NL-5600 MB, Eindhoven, The Netherlands

    H. M. W. Verbeek & T. Basten

Authors
  1. H. M. W. Verbeek
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. T. Basten
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Technology and Management, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands

    Wil M. P. van der Aalst

  2. Computer Science Department Parallel Systems Group, University of Oldenburg, 26111, Oldenburg, Germany

    Eike Best

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Verbeek, H.M.W., Basten, T. (2003). Deciding Life-Cycle Inheritance on Petri Nets. In: van der Aalst, W.M.P., Best, E. (eds) Applications and Theory of Petri Nets 2003. ICATPN 2003. Lecture Notes in Computer Science, vol 2679. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44919-1_7

Download citation

  • DOI: https://doi.org/10.1007/3-540-44919-1_7

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40334-0

  • Online ISBN: 978-3-540-44919-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation