Compositional high level Petri nets with timing constraints - a comparison | IEEE Conference Publication | IEEE Xplore