SZodixStudyAcademic Library
DashboardShelvesOpen accessMy libraryInboxNotesWriteLearnAlerts
More
Ask your libraryNotificationsQuick citeReview
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Investigations on Soundness Regarding Lazy Activities
10 references·16 citing·35 second hop
Investigations on Soundness Regarding Lazy Activities (2006)Investigations on Soundness Regarding Laz…The P2P Approach to Interorganizational Workflows (2013)The P2P Approach to Interorga…Using the π-Calculus for Formalizing Workflow Patterns (2005)Using the π-Calculus for Form…On the Semantics of EPCs: A Framework for Resolving the Vicious Circle (2004)On the Semantics of EPCs: A F…Workflow Patterns (2003)Workflow PatternsBusiness Process Management: A Survey (2003)Business Process Management: …Workflow Management (2002)Workflow ManagementThe P2P Approach to Interorganizational Workflows (2001)The P2P Approach to Interorga…Relaxed Soundness of Business Processes (2001)Relaxed Soundness of Business…Advanced Workflow Patterns (2000)Advanced Workflow PatternsVerification of workflow nets (1997)Verification of workflow netsCorrectness checking for BPMN collaborations with sub-processes (2020)Correctness checking for BPMN…Transformation of Business Process Model and Notation models onto Petri nets and their analysis (2018)Transformation of Business Pr…A formal approach to modeling and verification of business process collaborations (2018)A formal approach to modeling…Formal verification of complex business processes based on high-level Petri nets (2017)Formal verification of comple…BProVe: A formal verification framework for business process models (2017)BProVe: A formal verification…An Operational Semantics of BPMN Collaboration (2016)An Operational Semantics of B…Automating data exchange in process choreographies (2015)Automating data exchange in p…Business Process Quality Management (2014)Business Process Quality Mana…BPMN Formalization and Verification using Maude (2014)BPMN Formalization and Verifi…Process instantiation (2009)Process instantiationTowards a Formal Framework for Reuse in Business Process Modeling (2008)Towards a Formal Framework fo…Structural Detection of Deadlocks in Business Process Models (2008)Structural Detection of Deadl…Instantiation Semantics for Process Models (2008)Instantiation Semantics for P…Analyzing BPEL4Chor: Verification and Participant Synthesis (2008)Analyzing BPEL4Chor: Verifica…An Incremental Approach to the Analysis and Transformation of Workflows Using Region Trees (2008)An Incremental Approach to th…Soundness Verification of Business Processes Specified in the Pi-Calculus (2007)Soundness Verification of Bus…THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)Formalization and verification of event-driven process chains (1999)Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach (2003)Verification of EPCs: Using Reduction Rules and Petri Nets (2005)Detection and Prediction of Errors in EPC Business Process Models. (2007)Managing business processes as an information resource (1994)YAWL: yet another workflow language (2004)Business Process Design by View Integration (2006)Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants (2007)Process mining using BPMN: relating event logs and process models (2015)Process modeling (1992)Business Process Management: The Third Wave (2003)On the Formal Semantics of Change Patterns in Process-Aware Information Systems (2008)Workflow Time Patterns for Process-Aware Information Systems (2010)Enterprise Modelling and Information Systems Architectures (2012)Design Patterns: Elements of Reusable Object-Oriented Software (1994)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)Petri net-based modelling of workflow systems: An overview (2001)UML Activity Diagrams as a Workflow Specification Language (2001)Specification and validation of process constraints for flexible workflows (2004)Electronic markets and electronic hierarchies (1987)Workflow View Driven Cross-Organizational Interoperability in a Web Service Environment (2004)The view-based approach to dynamic inter-organizational workflow cooperation (2005)Measuring similarity between semantic business process models (2007)Designing routines: On the folly of designing artifacts, while hoping for patterns of action (2008)BPMN: An introduction to the standard (2011)Business Process Management: A Comprehensive Survey (2013)Analyzing process models using graph reduction techniques (2000)Inheritance of workflows: an approach to tackling problems related to change (2002)Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control? (2003)Challenges and opportunities in collaborative business process management: Overview of recent advances and introduction to the special issue (2008)Dealing with change in process choreographies: Design and implementation of propagation algorithms (2014)Scientific workflow management and the Kepler system (2005)Process mining: a research agenda (2003)Design Science in Information Systems Research1 (2004)
this work references cited by second hop

References

  • 2003Workflow Patterns2,613 cited
  • 2003Business Process Management: A Survey1,349 cited
  • 1997Verification of workflow nets802 cited
  • 2002Workflow Management744 cited
  • 2000Advanced Workflow Patterns343 cited
  • 2013The P2P Approach to Interorganizational Workflows276 cited
  • 2005Using the π-Calculus for Formalizing Workflow Patterns142 cited
  • 2001The P2P Approach to Interorganizational Workflows140 cited
  • 2001Relaxed Soundness of Business Processes137 cited
  • 2004On the Semantics of EPCs: A Framework for Resolving the Vicious Circle111 cited

Cited by

  • 2017Formal verification of complex business processes based on high-level Petri nets73 cited
  • 2008Towards a Formal Framework for Reuse in Business Process Modeling70 cited
  • 2009Process instantiation55 cited
  • 2014Business Process Quality Management54 cited
  • 2018A formal approach to modeling and verification of business process collaborations50 cited
  • 2007Soundness Verification of Business Processes Specified in the Pi-Calculus

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

48 cited
  • 2008Analyzing BPEL4Chor: Verification and Participant Synthesis48 cited
  • 2020Correctness checking for BPMN collaborations with sub-processes44 cited
  • 2018Transformation of Business Process Model and Notation models onto Petri nets and their analysis40 cited
  • 2015Automating data exchange in process choreographies39 cited
  • 2017BProVe: A formal verification framework for business process models36 cited
  • 2008An Incremental Approach to the Analysis and Transformation of Workflows Using Region Trees36 cited
  • 2014BPMN Formalization and Verification using Maude31 cited
  • 2008Structural Detection of Deadlocks in Business Process Models30 cited
  • 2008Instantiation Semantics for Process Models23 cited
  • 2016An Operational Semantics of BPMN Collaboration21 cited