C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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