1 | | Petri Net Sagas |
2 | | < No content yet > |
| 1 | = Petri Net Sagas = |
| 2 | The Saga pattern offers an availability-oriented alternative to classic distributed transaction and locking mechanisms. |
| 3 | Use cases are large systems, that use the shared-nothing data model, which is typically fulfilled by microservice applications. |
| 4 | Sagas are traditionally defined by a sequence of local transactions, but often concurrency between transactions is possible. |
| 5 | |
| 6 | This website presents a solution to model concurrent Sagas with P/T workflow nets, called Petri net Sagas. |
| 7 | As a proof-of-concept an implementation shows, how to translate Petri net Sagas to reference nets and to execute them using the \Renew simulation core. |
| 8 | The implementation is available as a library for the Java programming language. |
| 9 | |
| 10 | == Download == |
| 11 | |
| 12 | ''' Library files only: ''' |
| 13 | ''' Sample project: ''' |
| 14 | ''' Empty reference project: ''' |
| 15 | |
| 16 | == Setup instructions == |
| 17 | |
| 18 | (TODO) |