Roberto Gorrieri Process Algebras for Petri Nets - Springer Springer 2017 ISBN: 9783319555591 Source: EBOOK