Reduction Rules for Time Petri Nets

Robert H. Sloan, Ugo A. Buy. Reduction Rules for Time Petri Nets. Acta Informatica, 33(7):687-706, 1996.

Abstract

Abstract is missing.