Citation map · Study

SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

A Branching-Process-Based Method to Check Soundness of Workflow Systems

9 references·6 citing·43 second hopsampled

FromToDepth

this work references cited by second hop· second hop is a sample of the most-cited connections

References

2000Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques435 cited
2010Soundness of workflow nets: classification, decidability, and analysis372 cited
2001Diagnosing Workflow Processes using Woflan317 cited
2009From business process models to process-oriented software systems212 cited
2010Efficient Consistency Measurement Based on Behavioral Profiles of Process Models199 cited
2009Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows187 cited
2004Performance modeling and analysis of workflow155 cited
2011Analysis on demand: Instantaneous soundness checking of industrial business process models145 cited
2007Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets73 cited

Cited by

2020Petri Net Based Data-Flow Error Detection and Correction Strategy for Business Processes32 cited
2018Automatic Discovery of Behavioral Models From Software Execution Data29 cited
2018Petri net-based methods for analyzing structural security in e-commerce business processes26 cited
2018Measurement and Computation of Profile Similarity of Workflow Nets Based on Behavioral Relation Matrix19 cited
2019A Guard-Driven Analysis Approach of Workflow Net with Data19 cited

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work

2019Workflow Nets With Tables and Their Soundness17 cited