A New Timed Petri Net Model for Hardware Representation

Abstract The use of modified Petri nets for design representation is proposed. Since Petri nets in their basic form show only the causal dependencies among the events, but do not provide any concept of time, we resort to a high-level net model called Environment/Relationship (ER) net which is suitable for a unified representation and manipulation of time and data. The use of ER nets in hardware description is demonstrated by means of a simple but significant example: this allows the comparison of ER nets with other methods used to this purpose. In particular ER nets are able to remove all the ambiguities that intrinsically arise in other techniques. On the basis of such case study, general rules for mapping hardware specification languages into ER nets are provided.

[1]  Mary K. Vernon,et al.  A Generalized Timed Petri Net Model for Performance Analysis , 1985, IEEE Transactions on Software Engineering.

[2]  P. Merlin,et al.  Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.

[3]  C. V. Ramamoorthy,et al.  Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets , 1980, IEEE Transactions on Software Engineering.

[4]  Hartmann J. Genrich.  Predicate/transition nets , 1987 .

[5]  Rami R. Razouk.  The use of Petri nets for modeling pipelined processors , 1988, 25th ACM/IEEE, Design Automation Conference.Proceedings 1988..

[6]  Rami R. Razouk,et al.  Performance Analysis Using Timed Petri Nets , 1984, PSTV.

[7]  Michael K. Molloy.  Discrete Time Stochastic Petri Nets , 1985, IEEE Transactions on Software Engineering.

[8]  Joseph Sifakis.  Performance Evaluation of Systems Using Nets , 1979, Advanced Course: Net Theory and Applications.

[9]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[10]  T. Agerwala,et al.  Putting Petri nets to work , 1989 .

[11]  C. Ghezzi,et al.  A general way to put time in Petri nets , 1989, IWSSD '89.

[12]  Nick Roussopoulos,et al.  Timing Requirements for Time-Driven Systems Using Augmented Petri Nets , 1983, IEEE Transactions on Software Engineering.

[13]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[14]  Tilak Agerwala,et al.  Special Feature: Putting Petri Nets to Work , 1979, Computer.

[15]  Wlodzimierz M. Zuberek,et al.  Timed Petri nets and preliminary performance evaluation , 1980, ISCA '80.

[16]  Jonathan Billington,et al.  PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols , 1988, IEEE Trans. Software Eng..

[17]  Giorgio Bruno,et al.  Process-translatable Petri nets for the rapid prototyping of process control systems , 1986, IEEE Transactions on Software Engineering.

[18]  Gaetano Borriello.  Combining event and data-flow graphs in behavioral synthesis , 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.