Verification of systems and circuits using LOTOS, Petri Nets, and CCS by Yoeli, Michael, Kol, Rakefet 0 Type: Book
Elements of distributed algorithms: modelling and analysis with Petri Nets by Reisig, Wolfgang 0 Type: Book
