• Publication
  • 1992
  • Issue No. 3 - March
  • Abstract - Specification and analysis of parallel/distributed software and systems by Petri nets with transition enabling functions
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Specification and analysis of parallel/distributed software and systems by Petri nets with transition enabling functions
March 1992 (vol. 18 no. 3)
pp. 252-261

An approach for visually specifying parallel/distributed software using Petri nets (PNs) extend with transition enabling functions (TEFs) is investigated. The approach is demonstrated to be useful in the specification of decision-making activities that control distributed computing systems. PNs are employed because of their highly visual nature that can give insight into the nature of the controller of such a system and because of their analytical properties. In order to increase the expressive power of PNs, the extension of TEFs is used. The main focus is the specification and analysis of parallel/distributed software and systems. A key element of this approach is a set of rules derived to automatically transform such an extended net into a basic PN. Once the rules have been applied to transform the specification, analytical methods can be used to investigate characteristic properties of the system and validate correct operation.

[1] J. Agerwala, "A complete model for representing the coordination of asynchronous processes," Johns Hopkins Univ., Comp. Res. Rep. 32, 1974.
[2] T. Agerwala, "Putting Petri Nets to work,"IEEE Computer, vol. 12, pp. 85-94, Dec. 1979.
[3] A. L. Ambler and M. M. Burnett, "Influence of visual technology on the evolution of language environments,"IEEE Computer, vol. 22, pp. 9-22, Oct. 1989.
[4] T. L. Casavant, W. Cheong, and A. Sajassi, "Complete specification of DDM mechanisms," Purdue Univ., Tech. Rep. TR-EE 88-24, 1988.
[5] T. L. Casavant and J. G. Kuhl, "Analysis of three dynamic load balancing strategies with varying global information requirements," inProc. 7th IEEE Int. Conf. Distributed Comput. Syst., Sept. 1987, pp. 195-192.
[6] T. L. Casavant and J. G. Kuhl, "Effects of response and stability on scheduling in distributed computing systems,"IEEE Trans. Software Eng., vol. 14, pp. 1578-1588, Nov. 1988.
[7] T. L. Casavant and J. G. Kuhl, "A communicating finite automata approach to modeling distributed computation and its application to distributed decision-making,"IEEE Trans. Computers, vol. 39, pp. 628-639, May 1990.
[8] G. Ciardo, "Toward a definition of modeling power for stochastic Petri net models," inProc. Int. Workshop on Petri Nets and Performance Models, Aug. 1987, pp. 54-62.
[9] J. B. Dugan and G. Ciardo, "Stochastic Petri net analysis of a replicated file system,"IEEE Trans. Software Eng., vol. 15, pp. 394-401, Apr. 1989.
[10] I. R. Forman, "Petri--a UNIX tool for the analysis of Petri nets," inProc. Fall Joint Comput. Conf., Nov. 1986, pp. 1092-1098.
[11] H. J. Genrich and K. Lautenback, "S-invariance in predicate transition nets,"Appl. Theory of Petri Nets, vol. 66, pp. 98-111, Sept. 1982. (Proc. 3rd Eur. Workshop on Appl. and Theory of Petri Nets).
[12] H. J. Genrich, "Predicate/transition nets," inPetri Nets Central Models and Their Properties, W. Brauer, Ed. Berlin, Heidelberg, New York: Springer-Verlag, 1987, pp. 207-247.
[13] K. Jensen, "High-level Petri nets,"Appl. Theory of Petri Nets, vol. 66, pp. 166-180, Sept. 1982 (Proc. 3rd Eur. Workshop on Appl. and Theory of Petri Nets.)
[14] K. Jensen, "Computer tools for construction, modification and analysis of Petri nets," inAdvances in Petri Nets, Part II(Lecture Notes in Comput. Sci., vol. 255). New York: Springer-Verlag, 1986, pp. 4-19.
[15] N.G. Leveson and J.L. Stolzy, "Safety analysis using Petri nets,"IEEE Trans. Software Eng., vol. SE-13, no. 3, pp. 386-397, Mar. 1987.
[16] T. Lehret al., "Visualizing performance debugging,"IEEE Computer, vol. 22, pp. 38-52, Oct. 1989.
[17] C. Lin and C. Marinescu, "On stochastic high-level Petri nets," inProc. Int. Workshop on Petri Nets and Performance Models(Madison, WI), Aug. 1987.
[18] E. T. Morgan and R. R. Razouk, "Interactive state-space analysis of concurrent systems,"IEEE Trans. Software Eng., vol. SE-13, pp. 1080-1091, Oct. 1987.
[19] T. Murata, "State equation, controllability, and maximal matchings of Petri nets,"IEEE Trans. Automat. Contr., vol. AC-22, pp. 412-415, June 1977.
[20] Y. E. Papelis and T. L. Casavant, "XPAT: an interactive graphical tool for synthesis of concurrent software using Petri nets," inProc. Int. Conf. Parallel Process., Aug. 12-16, 1991, vol. 2, p. 292.
[21] J. L. Peterson,Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
[22] W. Reisig, "Petri nets: An introduction," inEATCS Monographs on Theoretical Computer Science. New York: Springer-Verlag, 1985.
[23] G. Roman and K. C. Cox, "A declarative approach to visualizing concurrent computations,"IEEE Computer, vol. 22, pp. 25-37, Oct. 1989.

Index Terms:
parallel/distributed software; Petri nets; transition enabling functions; TEFs; specification; decision-making activities; distributed computing systems; analytical properties; expressive power; PNs; TEFs; parallel/distributed software; formal specification; parallel programming; Petri nets
Citation:
Y.E. Papelis, T.L. Casavant, "Specification and analysis of parallel/distributed software and systems by Petri nets with transition enabling functions," IEEE Transactions on Software Engineering, vol. 18, no. 3, pp. 252-261, March 1992, doi:10.1109/32.126774
Usage of this product signifies your acceptance of the Terms of Use.