1. Agarwal, B.: Transformation of UML activity diagrams into Petri nets for verification purposes. Int. J. Eng. Comput. Sci. 2(3), 798–805 (2013)
2. AToM$$^{3}$$ website.
http://atom3.cs.mcgill.ca
. Accessed 19 Jan 2017
3. Lecture Notes in Computer Science;O Biberstein,2001
4. Lecture Notes in Computer Science;R Bruni,1998
5. Burkhard, H.D.: Control of Petri nets by finite automata. Annales Societatis Mathematicae Polonae Series IV: Fundamenta Informaticae VI.2, 185–215 (1983)