CPN-Based Verifying Long-Running Transactions Atomicity in Microservice Environment

The paper describes an easy approach for testing a process atomicity with CPN-based simulation. It proposes a special framework including everything necessary for quick checking of processes that are intended for execution in service-oriented environment, and shows an example.