Basten, T.

• Verbeek, H.M.W.; Basten, Twan:
  Deciding Life-Cycle Inheritance on Petri Nets. 2003.

• Stehr, M.-O.; Farwer, B.; Basten, T.:
  Verification: Deductive and Process-Algebra-Based Methods. 2002.

• van der Aalst, W.M.P.; Basten, T.:
  Inheritance of Workflows: An Approach to Tackling Problems Related to Change. 2002.

• Basten, T.; van der Aalst, W.M.P.:
  Inheritance of Dynamic Behavior: Development of a Groupware Editor. 2001.

• van der Aalst, Wil M.P.; Basten, Twan:
  Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance. 2001.

• Basten, T.; van der Aalst, W.M.P.:
  Inheritance of Behavior. 1999.

• van der Aalst, W.M.P.; Basten, T.:
  Inheritance of Workflows: An approach to tackling problems related to change. 1999.

• Verbeek, H.M.W.; Basten, T.; van der Aalst, W.M.P.:
  Diagnosing Workflow Processes using Woflan. 1999.

• van der Aalst, W.M.P.; Basten, T.; Verbeek, H.M.W.; Verkoulen, P.A.C.; Voorhoeve, M.:
  Adaptive Workflow: An Approach Based on Inheritance. 1999.

• van der Aalst, W.M.P.; Basten, T.; Verbeek, H.M.W.; Verkoulen, P.A.C.; Voorhoeve, M.:
  Adaptive Workflow: On the Interplay between Flexibility and Support. 1999.

• van der Aalst, W.M.P.; Basten, T.:
  Life-Cycle Inheritance - A Petri-Net-Based Approach. 1997.

• Basten, T.; van der Aalst, W.M.P.:
  A Process-Algebraic Approach to Life-Cycle Inheritance: Inheritance = Encapsulation + Abstraction. 1996.

• van der Aalst, W.M.P.; Basten, T.:
  Life-Cycle Inheritance: A Petri-Net-Based Approach. 1996.

• Basten, T.; Bol, R.N.; Voorhoeve, M.:
  Simulating and Analyzing Railway Interlockings in ExSpect. 1995.

• Basten, T.; Voorhoeve, M.:
  An Algebraic Semantics for Hierarchical P/T Nets. 1995.

Back to the Petri Nets Bibliography