Decidability of k -Soundness for Workflow Nets with an Unbounded Resource.

Vladimir A. Bashkin Irina A. Lomazova

Published in: Trans. Petri Nets Other Model. Concurr. (2014)

Keyphrases

description logics
resource management
web resources
petri net
resource constraints
query answering
resource allocation
document management
case study
business process
business processes
information resources
web services
data flow
neural network
resource selection
resource requirements
databases