Direct Verification of BPMN Processes through an Optimized Unfolding Technique.

Damiano Falcioni Andrea Polini Alberto Polzonetti Barbara Re

Published in: QSIC (2012)

Keyphrases

process model
business process management
business processes
business process
process execution
petri net
information systems
model checking
databases
database systems
decision making
search engine
neural network
face verification
formal methods
process management
data sets