The paper 'Partial Specifications of Component-based Systems using Petri Nets' was accepted for the PNSE '22 workshop. Bart-Jan Hilbrands, Debjyoti Bera, and Benny Akesson Last updated on May 31, 2022