For the most recent entries see the Petri Nets Newsletter.

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

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

In: Formal Techniques for Networked and Distributed Systems - FORTE 2006, pages 404-419. 2006. URL:

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

Back to the Petri Nets Bibliography