Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change
Information Systems Frontiers
An Alternative Way to Analyze Workflow Graphs
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Analyzing Separation of Duties in Petri Net Workflows
MMM-ACNS '01 Proceedings of the International Workshop on Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Security
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Business Process Management, Models, Techniques, and Empirical Studies
Best Fairness Hierarchy in Elementary Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Translating unstructured workflow processes to readable BPEL: Theory and implementation
Information and Software Technology
Complexity metrics for Workflow nets
Information and Software Technology
Analysis of UML activities using dynamic meta modeling
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Best Fairness Hierarchy in Elementary Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Hi-index | 0.89 |