Abstract
In this paper we consider the use of Petri nets and extensions to describe features of existing architectures. Because the main attraction of Petri nets is in their ability to express synchronization and concurrency, our modelling is directed towards high-performance architectures. In particular, we show models for look-ahead processing schemes and the cache coherence problem.
Preview
Unable to display preview. Download preview PDF.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
5. References
Agerwala,T. "A Complete Model for Representing the Coordination of Asynchronous Processes", Hopkins Computer Research Report #32, July 1974
Agerwala, T. "Putting Petri Nets to Work", Computer, 12, 12, Dec 1979, pp 85–94
Archibald,J. and J.-L. Baer "An Economical Solution to the Cache Coherence Problem" Proc. 11th Symp. on Computer Architecture, 1984, pp. 355–362
Baer, J.-L. Computer Systems Architecture, Computer Science Press, Rockville, Md, 1980
Baer,J.-L. and C.Girault "A Petri Net Model for a Solution to the Cache Coherence Problem", Proc. 1st Conf. on Supercomputing Systems, 1985, pp. 680–689
Baer,J.-L. and C.Girault "Design of a Parallel Architecture for the Cache Coherence Problem", Proc. Parallel Computing, Berlin, 1985
Bernstein,A.J. "Analysis of Programs for Parallel Processing", IEEE TC, E-15, Oct 1966, pp 746–757
Best,E. and C.Fernandez "Notations and Terminology on Petri Net Theory", Arbeitspapiere der GMD 195, GMD, Jan 1986
Brams, G.W. Réseaux de Petri: Théory et Pratique, Masson, Paris, vols 1 and 2, 1982
Genrich,H.J. and K.Lautenbach "The Analysis of Distributed Systems by Means of Predicate/Transition Nets" Lecture Notes in Computer Science, 70, Springer-Verlag, 1979
Jensen, K. "Coloured Petri Nets and the Invariant Method", Theoretical Computer Science, 14, 3, June 1981
Patil,S.S. and J.B.Dennis "The Description and Realization of Digital Systems", Compcon Digest, 1972, pp. 223–227
Peterson, J.L. Petri Net Theory and the Modelling of Systems, Prentice-Hall, Englewood Cliffs, NJ 1981
Smith, A.J. "Cache Memories", Computing Surveys, 14, 3, Sept. 1982, pp. 473–530
Thornton, J.E. Design of a Computer System, the Control Data 6600, Scott, Foresman and Co., Glenview, Ill, 1970
Tomasulo, R.M. "An Efficient Algorithm for Exploiting Multiple Arithmetic Units", IBM J. of Research and Development, 11, Jan 1967, pp. 25–33
Weiss, S. and J.E. Smith "Instruction Issue Logic in Pipelined Supercomputers", IEEE TC, C-33, 11, Nov 1984, pp. 1013–1022
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baer, J.L. (1987). Modelling architectural features with petrinets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds) Petri Nets: Applications and Relationships to Other Models of Concurrency. ACPN 1986. Lecture Notes in Computer Science, vol 255. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17906-2_29
Download citation
DOI: https://doi.org/10.1007/3-540-17906-2_29
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17906-1
Online ISBN: 978-3-540-47926-0
eBook Packages: Springer Book Archive