4 citations · 4 across the 1 of their papers we have counts for
1 paper
Carlo Bellettini, Lorenzo Capra
We introduce a technique for reachability analysis of Time-Basic (TB) Petri nets, a powerful formalism for real- time systems where time constraints are expressed as intervals, rep…