This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Unified High-Level Petri Net Formalism for Time-Critical Systems
February 1991 (vol. 17 no. 2)
pp. 160-172

The authors introduce a high-level Petri net formalism-environment/relationship (ER) nets-which can be used to specify control, function, and timing issues. In particular, they discuss how time can be modeled via ER nets by providing a suitable axiomatization. They use ER nets to define a time notation that is shown to generalize most time Petri-net-based formalisms which appeared in the literature. They discuss how ER nets can be used in a specification support environment for a time-critical system and, in particular, the kind of analysis supported.

[1] N. Wirth, "Toward a discipline of real-time programming,"Commun. ACM, vol. 20, no. 8, Aug. 1977.
[2] A. Pnueli, "The temporal semantics of concurrent programs,"Theoret. Comput. Sci., vol. 13, 1981.
[3] F. Kröger, "Temporal logic of programs," inEATCS Monographs on Theoretical Computer Science. New York: Springer-Verlag, 1987.
[4] C. Ghezzi, D. Mandrioli, and A. Morzenti, "Trio: A logic language for executable specifications of real-time systems,"J. Syst. Software, June 1990.
[5] R. Milner, "Calculi for synchrony and asynchrony,"Theoret. Comput. Sci., vol. 25, 1983.
[6] W. Reisig, "Petri nets: An introduction," inEATCS Monographs on Theoretical Computer Science. New York: Springer-Verlag, 1985.
[7] J. L. Peterson,Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
[8] B. Berthomieu and M. Menasche, "An enumerative approach for analyzing Petri nets," inInformation Processing 83, R.E.A. Mason, Ed. Amsterdam, The Netherlands: Elsevier North-Holland, 1983.
[9] J. E. Coolahan and N. Roussopoulos, "Timing requirements for time driven systems using augmented Petri nets,"IEEE Trans. Software Eng., vol. SE-9, Sept. 1983.
[10] 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.
[11] P. Merlin and D.J. Faber, "Recoverability of communication protocols,"IEEE Trans. Commun, vol. COM-24, no. 9, Sept. 1976.
[12] C. V. Ramamoorthy and G. S. Ho, "Performance evaluation of asynchronous concurrent systems using Petri nets,"IEEE Trans. Software Eng., vol. SE-6, Sept. 1980.
[13] C. Ramchandani, "Analysis of asynchronous concurrent systems by timed Petri nets," Massachusetts Inst. Technol., Project MAC, Tech. Rep. 120, Feb. 1974.
[14] G. Richter, "Clocks and their use for time modeling," inProc. TFAIS 85, IFIP TC 8.1, 1985.
[15] P. D. Stotts, Jr. and T. W. Pratt, "Hierarchical modelling of software systems with timed Petri nets," inProc. 1st Int. Workshop Timed Petri Nets, Torino, Italy, July 1985.
[16] M. A. Holliday and M. K. Vernon, "A generalized timed Petri net model for performance analysis,"IEEE Trans. Software Eng., vol. SE-13, no. 12, pp. 1297-1310, Dec. 1987.
[17] W. M. Zuberek, "Timed Petri nets and preliminary performance evaluation," inProc. 7th Annu. Symp. Computer Architecture, May 6-8, 1980, pp. 88-96.
[18] J. Sifakis, "Performance evaluation of systems using nets," inProc. Advanced Course on General Net Theory (Lecture Notes in Computer Science, vol. 84), W. Brauer, Ed. New York: Springer-Verlag, 1980.
[19] M. Ajmone Marsan, G. Balbo, and G. Conte, "A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems,"ACM Trans. Comput. Syst., vol. 2, pp. 93-122, May 1984.
[20] M. K. Molloy, "Discrete time stochastic Petri nets,"IEEE Trans. Software Eng., vol. SE-11, Apr. 1985.
[21] Proc. 1st Int. Workshop Timed Petri Nets, Torino, Italy, July 1985.
[22] K. Jensen, "Coloured Petri nets," inAdvances in Petri Nets 1986, W. Brauer, W. Reisig, and G. Rozenberg, Eds. New York: Springer-Verlag, 1987.
[23] H. J. Genrich, "Predicate/transition nets," inAdvances in Petri Nets 1986, W. Brauer, W. Reisig, and G. Rozenberg, Eds. New York: Springer-Verlag, 1987.
[24] H. J. Genrich and K. Lautenbach, "System modelling with high-level Petri nets,"Theoret. Comput. Sci., vol. 13, pp. 109-136, 1981.
[25] J. Billington, G. Wheeler, and M. Wilbur-Ham, "PROTEAN: A high level Petri net tool for the specification and verification of communication protocols,"IEEE Trans. Software Eng., vol. 14, Mar. 1988.
[26] G. Bruno and G. Marchetto, "Process-translatable Petri nets for the rapid prototyping of process control systems,"IEEE Trans. Software Eng., vol. SE-12, Feb. 1986.
[27] P. Huber, K. Jensen, and R. M. Shapiro, "Design/CPN extensions--Timed simulation, colour set restrictions and reporting facilities,"Meta Software, version II, Feb. 1990.
[28] C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezzè, "Symbolic execution of concurrent programs using Petri nets,"Comput. Lang., vol. 14, no. 4, 1989.
[29] G. Buonanno, S. Morasca, M. Pezzè, K. Portman, and D. Sciuto, "Using high level Petri nets for timing specification of hardware," inProc. TAU '90, Vancouver, B.C. Canada, Aug. 1990.
[30] R. A. Kemmerer, "Testing formal specifications to detect design errors,"IEEE Trans. Software Eng., vol. SE-11, Jan. 1985.
[31] D. Mandrioli, R. Zicari, C. Ghezzi, and F. Tisato, "Modeling the Ada task system by Petri nets,"Comput. Lang., vol. 10, no. 1, 1985.
[32] S. Morasca and M. Pezzè, "Validation of concurrent Ada programs using symbolic execution," inProc. 2nd ESEC, Coventry, England, Sept. 1989. New York: Springer-Verlag, 1989.
[33] S. Morasca and M. Pezzè, "The rationale of an environment for real-time software," inProc. Euromicro Int. Workshop Real Time, Como, Italy, June 14-16, 1989. Washington, DC: IEEE Computer Society Press, 1989.
[34] T. Murata, B. Shenker, and S. K. Shatz, "Detection of Ada static deadlocks using Petri net invariants,"IEEE Trans. Software Eng., vol. 15, Mar. 1989.
[35] Petri Nets: Central Models and Their Properties, Petri Nets: Applications and Relationships to Other Concurrency Models (Advances in Petri Nets 1986, parts I and II), W. Brauer, W. Reisig, and G. Rozenberg, Eds. New York: Springer-Verlag, 1987.
[36] C. Ghezzi, D. Mandrioli, S. Morasca and M. Pezzè, "A general way to put time in Petri nets," inProc. 5th Int. Workshop Software Specifications and Design, Pittsburgh, PA, May 19-20, 1989. Washington, DC: IEEE Computer Society Press, 1989.

Index Terms:
environment relationship nets; high-level Petri net; time-critical systems; timing; ER nets; time notation; specification support environment; formal specification; Petri nets; software tools
Citation:
C. Ghezzi, D. Mandrioli, S. Morasca, M. Pezze, "A Unified High-Level Petri Net Formalism for Time-Critical Systems," IEEE Transactions on Software Engineering, vol. 17, no. 2, pp. 160-172, Feb. 1991, doi:10.1109/32.67597
Usage of this product signifies your acceptance of the Terms of Use.