For the most recent entries see the Petri Nets Newsletter.

Checking safety properties on-the-fly with the sweep-line method.

Gallasch, Guy Edward; Billington, Jonathan; Vanit-Anunchai, Somsak; Kristensen, Lars Michael

In: International Journal on Software Tools for Technology Transfer (STTT). 2007. URL:

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

Back to the Petri Nets Bibliography