Bart-Jan Hilbrands

Latest

• Partial Specifications of Component-based Systems using Petri Nets
• The paper 'Partial Specifications of Component-based Systems using Petri Nets' was accepted for the PNSE '22 workshop.