Login / Signup
Short Paper: BPMN Process Analysis: A Formal Validation and Verification Eclipse Plugin for BPMN Process Models.
Anass Rachdi
Abdeslam En-Nouaary
Mohamed Dahchour
Published in:
NETYS (2018)
Keyphrases
</>
process model
business process models
business processes
business process
process mining
formal models
petri net
control flow
business process management
event logs
software process
business process modeling
design patterns
source code
data preparation