vrr/doc
2
0
Fork 0
mirror of https://github.com/bpmbpm/doc.git synced 2026-04-29 12:00:42 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update README.md

Browse source
This commit is contained in:
Dmitry 2025-03-13 14:43:16 +03:00 • committed by GitHub
parent e62a6acf0b
commit 7e39200d04
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
BPM/notation/BPMN/README.md
View file

@ -13,4 +13,8 @@ BPMN2
- [стартовая](https://www.omg.org/spec/BPMN/2.0.2/)
### BPMN Semantic
- [BPMN 2.0 Execution Semantics Formalized as Graph Rewrite Rules, 2010](https://www.researchgate.net/publication/221448537_BPMN_20_Execution_Semantics_Formalized_as_Graph_Rewrite_Rules)
- [Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways, 2010](https://davidchristiansen.dk/pubs/wsfm2010.pdf)
- [Quantifying the Parallelism in BPMN Processes using Model Checking, 2014](https://www.researchgate.net/publication/266658806_Quantifying_the_Parallelism_in_BPMN_Processes_using_Model_Checking)
- [A Direct Formal Semantics for BPMN Time-Related Constructs, 2021](https://hal.science/hal-03170814/document)
- [A Precise Execution Semantics for BPMN, 2012](https://www.iaeng.org/IJCS/issues_v39/issue_1/IJCS_39_1_03.pdf)