Based on the rate equations describing the erbium-doped fluoride glass(ZBLAN) fibre lasers with different pumping configurations being taken into account,this p
It is important to verify the absence of deadlocks in asynchronous circuits. Much previous work relies on a reachability analysis of the circuits’ states, with