Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets.

Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat

Browse the full FORTE paper archive.