A Component Framework where Port Compatibility Implies Weak Termination. - Debjyoti Bera; Kees M. van Hee; Michiel van Osch; Jan Martijn E. M. van der Werf (PNSE, 2011)

Designing Weakly Terminating ROS Systems. - Debjyoti Bera; Kees M. van Hee; Jan Martijn E. M. van der Werf (Petri Nets, 2012)

Relationship between Simulink and Petri nets. - Debjyoti Bera; Kees M. van Hee; Henk Nijmeijer (SIMULTECH, 2014)

Modeling Hybrid Systems with Petri Nets. - Debjyoti Bera; Kees M. van Hee; Henk Nijmeijer (SIMULTECH (Selected Papers), 2014)

Synthetic Portnet Generation with Controllable Complexity for Testing and Benchmarking. - Madiou Diallo; Benny Akesson; Debjyoti Bera; Ronald Begeer (PNSE@Petri Nets, 2021)

Reverse engineering models of software interfaces. - Debjyoti Bera; Mathijs Schuts; Jozef Hooman; Ivan Kurtev (Comput. Sci. Inf. Syst., 2021)

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