https://bookem.ir/books/1605174-Petri-Nets-an-Introduction