A New Business Process Verification Approach for E-Commerce Using Petri Nets.
Mei ZhangFei FengZhilong ZhangJinghua WenPublished in: Int. J. Enterp. Inf. Syst. (2020)
Keyphrases
- business process
- petri net
- petri net model
- colored petri nets
- business processes
- concurrent systems
- web services
- business goals
- manufacturing systems
- business rules
- workflow model
- ws bpel
- discrete event systems
- service composition
- process model
- fuzzy petri net
- model checking
- process mining
- service oriented architecture
- case study
- business process management
- workflow models
- business process models
- virtual organization
- distributed systems
- workflow technology
- expert systems
- inter organizational
- formal methods
- information systems