Application and Theory of Petri Nets and ConcurrencyVictor Khomenko, Olivier H. Roux · First published 2018Open the Tome