Partial order reduction for checking soundness of time workflow nets.

Hanifa Boucheneb Kamel Barkaoui

Published in: Inf. Sci. (2014)

Keyphrases

partial order reduction
petri net
model checking
verification method
process model
service composition
decision trees
workflow management systems
workflow models
decision making
website
database systems
bayesian networks
information technology
business process
database
workflow management
data sets