Veryfication of systems and circuits using Lotos, Petri Nets, and CCS by Yoeli, Michael, Kol, Rakefet fromWiley Series on Parallel and Distributed Computing 0 Type: Book
Transactions on Petri Nets and other models of Concurrency IV by Knapik, Michał, Penczek, Wojciech, Półrola, Agata, Szreter, Maciej, Zbrzezny, Andrzej, Niewiadomski, Artur fromLecture Notes in Computer Science 0 Type: Book
