Carl Adam Petri: Ideas, Personality, Impact - Wolfgang Reisig, Grzegorz Rozenberg (Springer, 2019)