Pages that link to "Item:Q2902368"
From MaRDI portal
The following pages link to BPMN -- a logical model and property analysis (Q2902368):
Displaying 9 items.
- Formalisations and applications of BPMN (Q541678) (← links)
- Property specifications for workflow modelling (Q549695) (← links)
- Preserving correctness during business process model configuration (Q973035) (← links)
- A formal framework for business process modelling and design (Q1859984) (← links)
- Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations (Q1996863) (← links)
- Formal verification of complex business processes based on high-level Petri nets (Q2292988) (← links)
- The graph-based logic of visual modeling and taming heterogeneity of semantic models (Q2737490) (← links)
- Logic-based reasoning support for SBVR (Q2841963) (← links)
- Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge (Q4957188) (← links)