Keyword:TAPAAL

Publications
Petri Net Tools: a Comparative Analysis Abhilash and Rajendra Prasad Mahapatra EasyChair Preprint 15549