Mapping RT-LOTOS Specifications into Time Petri Nets.

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

Browse the full ICFEM paper archive.