Deciding life-cycle inheritance on Petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2679, Issue , 2003, Pages 44-63

  Verbeek, H M W ^a   Basten, T ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Backtracking; Branching bisimilarity; Life cycle inheritance; Object orientation; Petri nets; Structural properties; T invariants; Workflow

Indexed keywords

FORESTRY; PETRI NETS; STRUCTURAL PROPERTIES; TREES (MATHEMATICS);

BACKTRACKING; BRANCHING BISIMILARITY; OBJECT ORIENTATION; T-INVARIANT; WORKFLOW;

LIFE CYCLE;

ALGORITHMS; LIFE CYCLE;

EID: 35248822596     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44919-1_7     Document Type: Article

References (19)

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.
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.
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/.
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.
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.
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.
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.
8. T. Basten and W.M.P. van der Aalst. Inheritance of Behavior. Journal of Logic and Algebraic Programming, 47(2):47-145, 2001.
9. G. Booch. Object-Oriented Analysis and Design: With Applications. Benjamin/Cunnings, Redwood City, California, USA, 1994.
10. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, Reading, Massachusetts, USA, 1998.
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.
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.
13. H.-E. Eriksson and M. Penker. Business Modeling with UML: Business Patterns at Work. John Wiley and Sons, New York, USA, January 2000.
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.
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.
16. I. Jacobson, M. Ericsson, and A. Jacobson. The Object Advantage: Business Process Reengineering with Object Technology. Addison-Wesley, Reading, Massachusetts, USA, 1991.
17. Object Management Group. OMG Unified Modeling Language. http://www.omg.com/uml/.
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.
19. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, Reading, Massachusetts, USA, 1998.