Formalization and verification of event-driven process chains

This publication has 6 references indexed in Scilit:

• Liveness, fairness, and recurrence in Petri nets
  Information Processing Letters, 1999
• THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT
  Journal of Circuits, Systems and Computers, 1998
• Geschäftsprozeßmodellierung mit der objektorientierten Ereignisgesteuerten Prozeßkette (oEPK)
  Published by Springer Nature ,1998
• Using search conferences for building learning, planning and implementing communities that work
  The Learning Organization, 1997
• Dynamic change within workflow systems
  Published by Association for Computing Machinery (ACM) ,1995
• Petri nets: Properties, analysis and applications
  Proceedings of the IEEE, 1989