Petri Nets for Concurrent Programming. - Marshall Rawson; Michael G. Rawson (IPDRM@SC, 2022)