Home » Authors » Béatrice Berard, Franck Cassez, Serge Haddad, Didier Lime, Olivier Henri Roux

Béatrice Berard, Franck Cassez, Serge Haddad, Didier Lime, Olivier Henri Roux

Public reference bibliography and cataloged PDF materials authored or published by Béatrice Berard, Franck Cassez, Serge Haddad, Didier Lime, Olivier Henri Roux.

Found 1 document(s) Page 1 of 1

Comparison of Different Semantics for Time Petri Nets

Year: 2005 • Source: hal.science • Listed PDF

In this paper we study the model of Time Petri Nets (TPNs) where a time interval is associated with the firing of a transition, but we extend it by considering general intervals rather than closed ones. A key feature of ...