Portable Nets: Modeling and Verification of Business Processes with multiple Start and End Points.
Mustafa GhaniHolger GiesePublished in: PNSE@Petri Nets (2024)
Keyphrases
- business processes
- business process
- web services
- process model
- business process modeling
- business process management
- competitive advantage
- model driven development
- workflow management systems
- business applications
- workflow management
- workflow systems
- business rules
- business environment
- business process models
- business objectives
- ws bpel
- inter organizational
- business partners
- service oriented architecture
- model checking
- process execution
- business goals