Rakshit Mittal

Antwerp, Belgium

Translation Validation of Scheduled Conditional Behavior using Petri Net based Program Models

Presented at International Workshop on Petri Nets and Software Engineering 2021

posters-21-pnse-1 Download