This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Dependency Analysis-A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems
April 1993 (vol. 4 no. 4)
pp. 414-426

Petri nets (PNs) are frequently used in modeling, designing, and analyzing concurrentsystems. A problem with PNs, in the general case, is that they require high computationalcomplexity to analyze their properties, such as reachability, liveness, and boundedness.To avoid this problem, synthesis techniques for constructing large PNs are presented.Using these techniques, the behavior of the constructed PN can be determined by localanalysis that uses known properties of the given nets. Thus, the high computationalcomplexity of global analysis is bypassed. A synthesis technique that exploresdependency relations in PNs is presented. It synthesizes large PNs by combining smallerPNs of arbitrary topology structures, and the combination is verified efficiently bydependency analysis. A large system based on a PN can be built up by repeatedapplications of the technique.

[1] M. D'Anna and S. Trigila, "Concurrent system analysis using Petri nets: An optimized algorithm for finding net invariants,"Comput. Commun., vol. 11, no. 4, pp. 215-220, Aug. 1988.
[2] G. Berthelot and R. Terrat, "Petri Nets theory for the correctness of protocols,"IEEE Trans. Commun., vol. COM-30, no. 12, pp. 2497-2505, Dec. 1982.
[3] G. Berthelot, "Transformations and decompositions of nets," inAdvances in Petri Nets, LNCS, 1986, Part I, pp. 359-376.
[4] A. Datta and S. Ghosh, "Synthesis of a class of deadlock-free Petri nets,"J. ACM, vol. 31, no. 3, pp. 486-506, July 1984.
[5] A. Datta and S. Ghosh, "Modular Synthesis of Deadlock-Free Control Structures," inFoundation of Software Technology and Theoretical Computer Science, LNCS 241, 1988, pp. 288-318.
[6] U. Goltz, "Synchronic distance," inPetri Nets: Central Models and Their Properties, LNCS 254, 1986, pp. 338-358.
[7] R. Lipton, "The reachability problem requires exponential space," Dep. CS, Yale Univ., Rep. 62, Jan. 1976.
[8] J. Martinez and M. Silva, "A simple and fast algorithm to obtain all invariants of a generalised Petri net,"Second European Workshop on Application and Theory of Petri Nets, 1982, pp. 301-310.
[9] P. M. Merlin, "A methodology for the design and implementation of communication protocols,"IEEE Trans. Commun., vol. COM-24, no. 6, pp. 614-621, June 1976.
[10] T. Murata and J. Koh, "Reduction and expansion of live and safe marked graphs,"IEEE Trans. Circuits Syst., vol. CAS-27, no. 1, pp. 68-70, Jan. 1980.
[11] T. Murata, "Modeling and analysis of concurrent systems," inHandbook of Software Engineering, C. R. Vick and C. V. Ramamoorthy, Eds. New York: Van Nostrand Reihold, 1984, pp. 39-63.
[12] T. Murata, "Petri nets: Properties, analysis, and applications,"Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
[13] J. L. Peterson,Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
[14] C. V. Ramamoorthy, S. T. Dong, and Y. Usuda, "An implementation of an automated protocol synthesizer (APS) and its application to the X.21 protocol,"IEEE Trans. Software Eng., vol. SE-11, no. 9, pp. 886-908, Sept. 1985.
[15] J. Sifakis, "Structural properties of Petri nets,"Math. Fund. Comp. Sci., Lecture Notes of Comput. Sci., Vol. 64. New York: Springer-Verlag, 1978, pp. 474-483.
[16] I. Suzuki and T. Murata, "A method for hierarchically representing large scale Petri nets," inProc., IEEE Int. Conf. Circuits Comput., ICCC80, 1980, pp. 620-623.
[17] I. Suzuki and T. Murata, "A method of stepwise refinement and abstraction of Petri nets,"J. Comput. Syst. Sci., vol. 27, pp. 51-76, 1983.
[18] Valette, "Analysis of Petri nets by stepwise refinement,"J. Comput. Syst. Sci, vol. 18, pp. 35-46, 1979.
[19] Y. Yaw, C. V. Ramamoorthy, and W. T. Tsai, "A synthesis approach for designing concurrent system," inProc. Second Parallel Processing Symp., Apr. 1988, pp. 143-166.

Index Terms:
Index TermsPetri nets; concurrent systems; computational complexity; reachability; liveness;boundedness; dependency relations; computational complexity; parallel processing; Petrinets
Citation:
Y. Chen, W.T. Tsai, D. Chao, "Dependency Analysis-A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems," IEEE Transactions on Parallel and Distributed Systems, vol. 4, no. 4, pp. 414-426, April 1993, doi:10.1109/71.219756
Usage of this product signifies your acceptance of the Terms of Use.
 
You do not have the roles required to access this portlet.