SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Automatic Information Flow Analysis of Business Process Models
5 references·2 citing·25 second hop
Automatic Information Flow Analysis of Business Process Models (2012)Automatic Information Flow Analysis of Bu…Strong non-leak guarantees for workflow models (2011)Strong non-leak guarantees fo…Automated Certification for Compliant Cloud-based Business Processes (2011)Automated Certification for C…Analysis on demand: Instantaneous soundness checking of industrial business process models (2011)Analysis on demand: Instantan…Petri Net Transformations for Business Processes – A Survey (2009)Petri Net Transformations for…THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)THE APPLICATION OF PETRI NETS…Information leak detection in business process models: Theory, application, and tool support (2014)Information leak detection in…Detecting Data-Flow Errors in BPMN 2.0 (2014)Detecting Data-Flow Errors in…Workflow Patterns (2003)YAWL: yet another workflow language (2004)Behavioral Similarity – A Proper Metric (2011)Prediction of Remaining Service Execution Time Using Stochastic Petri Nets with Arbitrary Firing Delays (2013)Prediction of business process durations using non-Markovian stochastic Petri nets (2015)Process modeling (1992)The UCON ABC usage control model (2004)Business Process as a Service: Chances for Remote Auditing (2011)On the exploitation of process mining for security audits (2013)Visual Modeling of Business Process Compliance Rules with the Support of Multiple Perspectives (2013)Modeling and Analysis of Workflows Using Petri Nets (1998)The Chinese Wall security policy (2003)InDico: Information Flow Analysis of Business Processes for Confidentiality Requirements (2011)Discovering Workflow Changes with Time-Based Trace Clustering (2012)Diagnosing Workflow Processes using Woflan (2001)The refined process structure tree (2009)On the refactoring of activity labels in business process models (2012)Supporting Process Model Validation through Natural Language Generation (2014)Complete and Interpretable Conformance Checking of Business Processes (2017)Transforming BPEL to Petri Nets (2005)Semantics and analysis of business process models in BPMN (2008)Hierarchical Verification for the BPMN Design Model Using State Space Analysis (2019)Supporting Dynamic Workflows with Automatic Extraction of Goals from BPMN (2019)Checking Missing-Data Errors in Cyber-Physical Systems Based on the Merged Process of Petri Nets (2022)Workflow mining: discovering process models from event logs (2004)
this work references cited by second hop

References

  • 1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT2,706 cited
  • 2009Petri Net Transformations for Business Processes – A Survey175 cited
  • 2011Analysis on demand: Instantaneous soundness checking of industrial business process models145 cited
  • 2011Automated Certification for Compliant Cloud-based Business Processes59 cited
  • 2011Strong non-leak guarantees for workflow models36 cited

Cited by

  • 2014Detecting Data-Flow Errors in BPMN 2.034 cited
  • 2014Information leak detection in business process models: Theory, application, and tool support31 cited

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