= Petri Net Sagas =
The Saga pattern offers an availability-oriented alternative to classic distributed transaction and locking mechanisms.
Use cases are large systems, that use the shared-nothing data model, which is typically fulfilled by microservice applications.
Sagas are traditionally defined by a sequence of local transactions, but often concurrency between transactions is possible.

This website presents a solution to model concurrent Sagas with P/T workflow nets, called Petri net Sagas.
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.
The implementation is available as a library for the Java programming language.

== Download ==

''' Library files only: '''
''' Sample project: '''
''' Empty reference project: '''

== Setup instructions ==

(TODO)