-
On the construction of pullbacks for safe Petri nets
The product of safe Petri nets is a well known operation: it generalizes to concurrent systems the usual synchronous product of automata. In this short note, we... -
Equalizer's Use Limitation for Complexity Reduction in a Green Radio Receiver
International audience
