A functional C++ model for temporized Petri nets.