Tarek Sadani Marc Boyer Pierre de Saqui-Sannes Jean-Pierre Courtiat Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets. 404-419 2006 conf/forte/2006 FORTE http://dx.doi.org/10.1007/11888116_29 db/conf/forte/forte2006.html#SadaniBSC06