Partial Specifications of Component-Based Systems using Petri Nets. - Bart-Jan Hilbrands; Debjyoti Bera; Benny Akesson (PNSE@Petri Nets, 2022)