Graphical specification and formal verification of the Workflow Petri Nets properties in a business process context.
Mohammed Al AchhabMohammed El MohajirPublished in: CIST (2011)
Keyphrases
- business process
- formal verification
- petri net
- workflow model
- business processes
- workflow models
- process model
- model checking
- petri net model
- workflow management systems
- model checker
- colored petri nets
- workflow systems
- business rules
- workflow technology
- workflow process
- business process models
- case study
- manufacturing systems
- business process modeling
- web services
- business process management
- fuzzy petri net
- user interface
- workflow engine
- process mining
- service composition
- bpel ws
- workflow management
- control flow
- inter organizational
- virtual organization
- web service composition
- formal specification
- service oriented architecture
- temporal logic
- expert systems