Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets.
Qingtian ZengFaming LuCong LiuHua DuanChanghong ZhouPublished in: IEEE Trans. Syst. Man Cybern. Syst. (2015)
Keyphrases
- business processes
- petri net
- colored petri nets
- business process
- web services
- petri net model
- process model
- stochastic petri net
- concurrent systems
- workflow management systems
- discrete event systems
- workflow model
- model driven development
- business process modeling
- service composition
- ims ld
- web service composition
- inter organizational
- process mining
- workflow systems
- workflow management
- business rules
- business process models
- sequence diagrams
- case study
- business partners
- information systems
- data analysis
- fuzzy petri net
- business process management
- business environment
- collaborative learning
- service oriented architecture
- knowledge sharing
- model checking
- business objectives
- learning activities