Debjyoti Bera

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.
• Synthetic Portnet Generation with Controllable Complexity for Testing and Benchmarking
• The paper 'Synthetic Portnet Generation with Controllable Complexity for Testing and Benchmarking' was accepted at the Int. Workshop on Petri Nets and Software Engineering (PNSE), 2021.