For the most recent entries see the Petri Nets Newsletter.

Mapping RT-LOTOS Specifications into Time Petri Nets.

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

In: Formal Methods and Software Engineering, pages 360-379. 2006. URL:

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography