Rakshit Mittal

Antwerp, BE

Cloud

Cinema

Git

Torrent

Diagrams

Vault

Inventory

Todo

Monitor

Feed

Library

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-1Download