1. Petri nets tool database. Available via, URL http://www.daimi.au.dk/PetriNets/tools/
2. Bergstra, J.A., Klop, J.W.: Algebra of communicating processes with abstraction. Theoretical Computer Science, vol. 37(1) (1985)
3. Lecture Notes in Computer Science;E. Best,1997
4. Bolton, C.: On the Refinement of State-Based and Event-Based Models. D.Phil., University of Oxford (2002)
5. Lecture Notes in Computer Science;C. Bolton,2005