References

• 1. 1)
     • Postel, J., Farber, D.: `Graph modelling of computer communication P protoclos', Proceedings of Fifth Texas Conference on Computing Systems, October 1976, Austin, TX, USA, p. 66–77.
  2. 2)
     • P. Freeman . Software design representation: a case study. Software-practice & experience , 501 - 512
  3. 3)
     • Agerwala, T.: `An analysis of controlling agents for asynchronous processes', TR-35, Report, August 1974.
  4. 4)
     • M.T. Ozsu . Modeling and analysis of distributed database concurrency control algorithms using an extended petri net formation. IEEE transactions on software engineering , 5 , 1225 - 1239
  5. 5)
     • Peterson, J.L., Bredt, T.: `A comparison of models of parallel computation', Proceedings of IFIP congress, August 1974, p. 466–470.
  6. 6)
     • P. Freeman , A.I. Wasserman . (1977) , Software design techniques.
  7. 7)
     • Baer, J.: `Graph models of computations in computer systems', 1968, Ph.D. Dissertation, University of California, Department of Electrical Engineering, Los Angeles, CA, USA.
  8. 8)
     • Ramchandani, C.: `Analysis of asynchronous systems by petri nets', 1973, Ph.D. Dissertation, Massachusetts Institute of Technology, Cambridge, MA, USA, Project Report TR-120.
  9. 9)
     • N.J. Nilsson . (1993) , Principles of artificial intelligence.
  10. 10)
      • J.L. Peterson . (1981) , Petri net theory and the modelling of systems.
  11. 11)
      • F. Hayes-Roth , D.A. Waterman , D.B. Lenat . (1983) , Building expert systems.
  12. 12)
      • J.L. Peterson . Petri nets. ACM computing surveys , 223 - 252
  13. 13)
      • L.J. Mekly , S.S. Yau . Software design representation using abstract process networks. IEEE transactions on software engineering , 5 , 420 - 435
  14. 14)
      • Campos, I.M., Estrin, G.: `Concurrent software system design', Proceedings of Third International Conference on Software Engineering, May 1978, p. 230–242.
  15. 15)
      • Varadharajan, V.: `Software design representation and analysis using petri nets', International Report, March 1985.
  16. 16)
      • Rose, C.W.: `LOGOS and the software engineer', Proceedings of AFIPS US National Computer Conference, December 1972, 4, p. 311–323, 1.
  17. 17)
      • Patil, S.S.: `Coordination of asynchronous events', June 1970, Ph.D. Dissertation, Massachusetts Institute of Technology, Cambridge, MA, USA, Report TR-72, Project MAC.