Formalization of petri nets with clocks

Robert Uzal, Daniel Riesco, German Montejano, Gabriel Vilallonga, Narayan C. Debnath. Formalization of petri nets with clocks. J. Comput. Meth. in Science and Engineering, 5(4):185-199, 2005. [doi]

Abstract

Abstract is missing.