Events and conditions: introduction
Record of the Project MAC conference on concurrent systems and parallel computation
Decompositions of control networks
Record of the Project MAC conference on concurrent systems and parallel computation
Petri nets and speed independent design
Communications of the ACM
Towards a Theory of Universal Speed-Independent Modules
IEEE Transactions on Computers
A Comparison of Register Transfer Languages for Describing Computers and Digital Systems
IEEE Transactions on Computers
Closure properties of interconnections of determinate systems
Record of the Project MAC conference on concurrent systems and parallel computation
Record of the Project MAC conference on concurrent systems and parallel computation
A computer architecture for highly parallel signal processing
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
Transactions on Petri Nets and Other Models of Concurrency I
Asynchronous speed-independent arbiter in a form of a hardware control module
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
New directions for micro- and system architectures in the 1980s
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
A Comparison of Some Theoretical Models of Parallel Computation
IEEE Transactions on Computers
| Hi-index | 0.02 |
This note has been prepared to provide examples of the use of Petri nets [1] for the description of the control mechanisms of a complex computer, and of the relation between Petri nets and modular, asynchronous control structures [2, 3] that realize them. We hope that familiarity with such examples will lead to understanding of the problem of translating a Petri net specification into an efficient digital system. The example also shows that Petri nets, and asynchronous circuits assembled from the few module types introduced below, are suitable for expressing all control functions found in high performance computer systems.