Invariant Calculations for P/T-Nets with Synchronous Channels. - Simon Bott; Daniel Moldt; Laif-Oke Clasen; Marcel Hansson (PNSE@Petri Nets, 2024)