Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets - Tiplea, F. L.; Bocaneala, C. (IEEE transactions on systems, man and cybernetics. Part A, Systems and humans, 2012)
Keywords: Analytical models; Computational modeling; Criteria; Cybernetics; Dealing; Decidability; Human; Humans; Organizations; Petri net; Petri nets; Production; Proving; resource-constrained workflow net (RCWF net); soundness; Strontium; Workflow; workflow net; workflow system