Modelling architectural features with petrinets

This publication has 8 references indexed in Scilit:

• The analysis of distributed systems by means of predicate/transition-nets
  Published by Springer Nature ,2005
• An economical solution to the cache coherence problem
  Published by Association for Computing Machinery (ACM) ,1984
• Cache Memories
  ACM Computing Surveys, 1982
• Coloured petri nets and the invariant-method
  Theoretical Computer Science, 1981
• Special Feature: Putting Petri Nets to Work
  Computer, 1979
• Complete model for representing the coordination of asynchronous processes
  Published by Office of Scientific and Technical Information (OSTI) ,1974
• An Efficient Algorithm for Exploiting Multiple Arithmetic Units
  IBM Journal of Research and Development, 1967
• Analysis of Programs for Parallel Processing
  IEEE Transactions on Electronic Computers, 1966