76 search results - page 16 / 16 » Unbounded Petri Net Synthesis |
125
click to vote
ACSD
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract. The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling...