Di Marzo Serugendo, GiovannaMandrioli, DinoBuchs, DidierGuelfi, Nicolas2005-09-202005-09-202005-09-202000https://infoscience.epfl.ch/handle/20.500.14299/216920Petri NetsConformAdding Real Time Constraints to Synchronised Petri Netstext::report