The two main extensions of Petri Nets with time are Time Petri Nets (TPNs) [30] and Timed Petri Nets [34].
subtile la différence
.. faut faire gaffe à l'orthographe 
The two main extensions of Petri Nets with time are Time Petri Nets (TPNs) [30] and Timed Petri Nets [34].
.. faut faire gaffe à l'orthographe