Reachability and Temporal Conflicts in t-Time Petri Nets

@inproceedings{Rivire2001ReachabilityAT,
  title={Reachability and Temporal Conflicts in t-Time Petri Nets},
  author={Nicolas Rivi{\`e}re and Brigitte Pradin-Chezalviel and Robert Valette},
  booktitle={PNPM},
  year={2001}
}