https://bookem.ir/books/2346435-Process-Algebras-for-Petri-Nets-the-Alphabetization-of-Distributed-Systems