Pages that link to "Item:Q541678"
From MaRDI portal
The following pages link to Formalisations and applications of BPMN (Q541678):
Displaying 7 items.
- Property specifications for workflow modelling (Q549695) (← 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)
- Formal methods to improve public administration business processes (Q2889178) (← links)
- BPMN -- a logical model and property analysis (Q2902368) (← links)
- GSM+T: A Timed Artifact-Centric Process Model. (Q5079787) (← links)
- Algebraic Reasoning About Timeliness (Q6197377) (← links)