A model-driven engineering approach to formally verify BPMN models using Petri nets.
Achraf LyazidiSalma MoulinePublished in: Int. J. Bus. Process. Integr. Manag. (2017)
Keyphrases
- petri net
- model driven
- model driven engineering
- process model
- stochastic petri net
- petri net model
- manufacturing systems
- discrete event systems
- databases
- business processes
- business process models
- data mining
- service composition
- metamodel
- service oriented
- complex systems
- data driven
- fuzzy petri net
- information systems