Pages that link to "Item:Q2292988"
From MaRDI portal
The following pages link to Formal verification of complex business processes based on high-level Petri nets (Q2292988):
Displaying 12 items.
- Efficient semantics-based compliance checking using LTL formulae and unfolding (Q364600) (← links)
- Algorithm for formal verification of business process templates (Q464876) (← links)
- Preserving correctness during business process model configuration (Q973035) (← links)
- A rigorous methodology for specification and verification of business processes (Q1037243) (← links)
- Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations (Q1996863) (← links)
- Towards semantic document modelling of business processes (Q2280348) (← links)
- The importance of business process modeling in software systems design (Q2482023) (← links)
- Formal methods to improve public administration business processes (Q2889178) (← links)
- BPMN -- a logical model and property analysis (Q2902368) (← links)
- (Q3384914) (← links)
- Formalising Feasibility and Correctness of Distributed Business Processes (Q4411497) (← links)
- A Non-Deterministic Multiset Query Language (Q5862341) (← links)