Embed presentation
Downloaded 11 times




























The document discusses business process modeling and composition using ID-Net. ID-Net is a Petri net extension that uses identifiers (IDs) as tokens to represent resources. IDs allow symbolic representation of resources in models and identification of concrete resources during implementation. The semantics of ID-Net transitions can be extended by composing other models. This allows modeling control flow and data manipulation together and developing business processes iteratively through model reconciliation and executable workflow composition.


























