Verifying Timed BPMN Processes Using Maude.

Francisco Durán Gwen Salaün

Published in: COORDINATION (2017)

Keyphrases

process model
business process management
business process
business processes
petri net
neural network
formal specification
model driven
database
genetic algorithm
learning algorithm
finite state machines
stochastic processes
equational theories