For the most recent entries see the
Petri Nets Newsletter.
Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets.
Yakovlev, A.
In:
Formal Methods in System Design, pages 39-71.
January 1998.
Keywords:
arbitration, asynchronous circuits, counterflow pipeline processor, design
automation, event-based signaling, micro-pipeline, Petri net, signal
transition graph, synthesis.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography