A new methodology for analyzing distributed systems modeled by petri nets

References

• Agerwala , T. 1979 . Putting Petri nets to work . IEEE Computer , 12 : 85 – 94 .
   Google Scholar
• Berthelot , G. and Terrat , R. 1982 . Petri nets theory for the correctness of protocols . IEEE Trans. Comm. , COM-30 Dec : 2497 – 2505 .
   Google Scholar
• Das , S. K. , Agrawal , V. K. , Sarkar , D. , Patnaik , L. M. and Goel , P. S. 1987 . Reflexive Incidence Matrix (RIM) representation of Petri nets . IEEE Trans. Soft Engg. , SE-13 ( 6 ) June : 643 – 653 .
   Web of Science ®Google Scholar
• Dutta A. Some Studies on Distributed Systems Using Petri Nets Jadavpur University Calcutta, India 1983 Ph. D. Dissertation
   Google Scholar
• Dutta , A. and Ghosh , S. 1984 . Synthesis of a class of deadlock-free Petri nets . JACM , 31 ( 3 ) July : 486 – 506 .
   Google Scholar
• Genrich , H. and Lautenbach , K. 1973 . Synchronisationsgrtaphen . Acata Informatica , 2 July : 143 – 161 .
   Google Scholar
• Hack M. Analysis of Production Schemata by Petri Nets Master's Thesis Department of Electrical Engineering, MIT Cambridge, Massachusetts Feb 1972
   Google Scholar
• Hura , G. S. , Khan , A. A. , Grover , D. , Singh , H. and Nanda , N. K. 1980 . Optimization of assembly code generation using Petri nets . Int. J. Electronics , 49 ( 5 ) July : 427 – 431 .
   Web of Science ®Google Scholar
• Hura , G. S. , Singh , H. and Nanda , N. K. 1981 . A Petri net approach to the evaluation of the complexityof a program . Int. J. Electronics , 51 ( 1 ) July : 79 – 85 .
   Web of Science ®Google Scholar
• Jensen , K. 1980 . Coloured Petri nets and the invariant method . DAIMI , PB-104 Aug
   Google Scholar
• Jensen , K. 1980 . How to find invariants for coloured Petri nets . DAIMI , PB-120 May
   Google Scholar
• Keller , R. M. 1976 . Formal verification of parallel programs . CACM , 19 ( 17 ) July : 371 – 384 .
   Google Scholar
• Lee , K.-H. and Favrel , J. 1985 . Hierarchical reduction method for analysis and decomposition of Petrinets . IEEE Trans. Syst., Man, and Cybernetics , SMC-15 ( 2 ) Mar./April : 272 – 280 .
   Web of Science ®Google Scholar
• Merlin , P. M. 1979 . Specification and validation of protocols . IEEE Trans. Comm. , COM-27 ( 2 ) Nov : 1671 – 1680 .
   Google Scholar
• Peterson , J. L. 1977 . Petri nets . Comput. Surveys , 9 Sept : 223 – 252 .
   Web of Science ®Google Scholar
• Peterson , J. L. 1981 . Petri Net Theory and the Modeling of Systems , Englewood Cliffs, NJ : Prentice-Hall .
   Google Scholar
• Ramamoorthy , C. V. and Ho , G. S. 1980 . Performance evaluation of asynchronous concurrent systems using Petri nets . IEEE Trans. Soft. Engg. , SE-6 ( 5 ) Sept : 440 – 449 .
   Web of Science ®Google Scholar
• Tabak , D. and Levis , A. H. 1985 . Petri net representations of decision models . IEEE Trans. Syst., Man, Cybernetics , SMC-15 ( 6 ) Nov/Dec : 812 – 818 .
   Web of Science ®Google Scholar
• A New Methodology for Analysis of Petri Nets ISRO Satellite Centre Bangalore, India Nov 1984 Technical report no. CSS-02-84
   Google Scholar