• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets.

Moe Thandar WynnDavid EdmondWil M. P. van der AalstArthur H. M. ter Hofstede
Published in: ICATPN (2005)
Keyphrases
  • special case
  • closely related
  • mathematical theory
  • databases
  • query optimization
  • data sets
  • database management systems
  • business process
  • petri net
  • formal methods