Modular, asynchronous control structures for a high performance processor
Record of the Project MAC conference on concurrent systems and parallel computation
Problems in the physical realization of speed independent circuits
FOCS '61 Proceedings of the 2nd Annual Symposium on Switching Circuit Theory and Logical Design (SWCT 1961)
An introduction to speed independent circuit theory
FOCS '61 Proceedings of the 2nd Annual Symposium on Switching Circuit Theory and Logical Design (SWCT 1961)
One method for designing speed independent logic for a control
FOCS '61 Proceedings of the 2nd Annual Symposium on Switching Circuit Theory and Logical Design (SWCT 1961)
A flow chart notation for the description of a speed- independent control
FOCS '61 Proceedings of the 2nd Annual Symposium on Switching Circuit Theory and Logical Design (SWCT 1961)
A subclass of Petri Nets as design abstraction for parallel architectures
ACM SIGARCH Computer Architecture News
Synthesis of multiple-input change asynchronous finite state machines
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
CLOVER: a timing constraints verification system
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
The use of Petri nets for modeling pipelined processors
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Retrospective: a preliminary architecture for a basic data flow processor
25 years of the international symposia on Computer architecture (selected papers)
Deriving Petri Nets from Finite Transition Systems
IEEE Transactions on Computers
ACM Computing Surveys (CSUR)
MPACT: microprocessor application to control-firmware translator
ACM SIGDA Newsletter
A synthesis rule for concurrent systems
DAC '78 Proceedings of the 15th Design Automation Conference
Micromodules: Microprogrammable building blocks for hardware development
ISCA '73 Proceedings of the 1st annual symposium on Computer architecture
A model of real time control system production
ACM SIGDA Newsletter
Direct Implementation of Asynchronous Control Units
IEEE Transactions on Computers
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
| Hi-index | 48.22 |
Petri nets are investigated as one method of modeling speed independent asynchronous circuits. A study of circuit realizations of Petri nets leads to a demonstration of their usefulness in modeling speed independent operation. This usefulness is emphasized by the design of a speed independent processor from modules developed in the investigation of Petri net implementation.