Petri. Studying Operational Models of Relaxed Concurrency. Springer International Publishing, 2014, doi:10.1007/978-3-319-14128-2_15.