Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior.

Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga

Browse the full SYNASC paper archive.