1. Petri nets tool database. Available via,
http://www.daimi.au.dk/PetriNets/tools/
2. Bergstra, J.A., Klop, J.W.: Algebra of communicating processes with abstraction. Theoretical Computer Science 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. Bolton, C., Lowe, G.: A hierarchy of failures-based models. In: Proceedings of the 10th International Workshop on Expressiveness in Concurrency: EXPRESS 2003 (2003)