Reachability Analysis of Time Basic Petri Nets: A Time Coverage Approach.

Carlo Bellettini, Lorenzo Capra

Browse the full SYNASC paper archive.